# HG changeset patch
# User yamahata@xxxxxxxxxxxxx
# Node ID 0141b3ffefef595ec3bc8732e16e257b469debc7
# Parent  fd80daa43372ebf3190d297208154b416871fd9d
use pte_mem instread of direct bit test in relinquish_pte()
PATCHNAME: use_pte_mem_in_relinquish_pte

Signed-off-by: Isaku Yamahata <yamahata@xxxxxxxxxxxxx>

diff -r fd80daa43372 -r 0141b3ffefef xen/arch/ia64/xen/mm.c
--- a/xen/arch/ia64/xen/mm.c	Thu Jun 08 18:27:04 2006 +0900
+++ b/xen/arch/ia64/xen/mm.c	Thu Jun 08 18:27:05 2006 +0900
@@ -104,7 +104,7 @@ relinquish_pte(struct domain* d, pte_t* 
 
     // vmx domain use bit[58:56] to distinguish io region from memory.
     // see vmx_build_physmap_table() in vmx_init.c
-    if (((mfn << PAGE_SHIFT) & GPFN_IO_MASK) != GPFN_MEM)
+    if (!pte_mem(*pte))
         return;
 
     // domain might map IO space or acpi table pages. check it.