ia64/xen-unstable

changeset 6581:832cb25d1f55

Use entry_get_paddr(l1e) to get the PFN

Otherwise software used bits might get in the way.

Signed-off-by: Arun Sharma <arun.sharma@intel.com>
author kaf24@firebug.cl.cam.ac.uk
date Thu Sep 01 09:07:10 2005 +0000 (2005-09-01)
parents b99098e3c2ed
children e02a45b91043
files xen/include/asm-x86/shadow_64.h
line diff
     1.1 --- a/xen/include/asm-x86/shadow_64.h	Thu Sep 01 09:04:06 2005 +0000
     1.2 +++ b/xen/include/asm-x86/shadow_64.h	Thu Sep 01 09:07:10 2005 +0000
     1.3 @@ -450,7 +450,9 @@ static inline int guest_page_fault(struc
     1.4  	/*
     1.5  	 * If it's not external mode, then mfn should be machine physical.
     1.6  	 */
     1.7 -	mfn = __gpfn_to_mfn(d, (entry_get_value(gle) >> PAGE_SHIFT));
     1.8 +	mfn = __gpfn_to_mfn(d, (entry_get_paddr(gle) >> PAGE_SHIFT));
     1.9 +        if (mfn == -1)
    1.10 +            return 1;
    1.11  
    1.12          lva = (pgentry_64_t *) phys_to_virt(
    1.13  	    mfn << PAGE_SHIFT);