ia64/xen-unstable

changeset 8129:d963256dc3e0

writable_pl1e in shadow mode is a machine address, so
is type physaddr_t, not unsigned long.

Signed-off-by: Jun Nakajima <jun.nakajima@intel.com>
Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@firebug.cl.cam.ac.uk
date Wed Nov 30 11:36:57 2005 +0100 (2005-11-30)
parents ccf76e51e7e6
children 3399f4b9396a
files xen/include/asm-x86/shadow.h
line diff
     1.1 --- a/xen/include/asm-x86/shadow.h	Tue Nov 29 17:59:03 2005 +0100
     1.2 +++ b/xen/include/asm-x86/shadow.h	Wed Nov 30 11:36:57 2005 +0100
     1.3 @@ -317,7 +317,7 @@ struct out_of_sync_entry {
     1.4      unsigned long gpfn;    /* why is this here? */
     1.5      unsigned long gmfn;
     1.6      unsigned long snapshot_mfn;
     1.7 -    unsigned long writable_pl1e; /* NB: this is a machine address */
     1.8 +    physaddr_t writable_pl1e; /* NB: this is a machine address */
     1.9      unsigned long va;
    1.10  };
    1.11