Revert 24283:3bc4dfb54666

This fixes the 32-bit build

Signed-off-by: Tim Deegan <tim@xen.org>

diff --git a/xen/include/asm-x86/page.h b/xen/include/asm-x86/page.h
index 666fb3ffd0e24be97e8b63005180453e7ede96c3..59b42cc348bc19d065cb1ff770b3d7d004a075fe 100644 (file)
--- a/xen/include/asm-x86/page.h
+++ b/xen/include/asm-x86/page.h
@@ -272,7 +272,6 @@ void copy_page_sse2(void *, const void *);
 #define pfn_to_paddr(pfn)   __pfn_to_paddr(pfn)
 #define paddr_to_pfn(pa)    __paddr_to_pfn(pa)
 #define paddr_to_pdx(pa)    pfn_to_pdx(paddr_to_pfn(pa))
-#define xen_map_to_mfn(va)  __xen_map_to_mfn(va)
 
 #endif /* !defined(__ASSEMBLY__) */
 

diff --git a/xen/include/asm-x86/x86_32/page.h b/xen/include/asm-x86/x86_32/page.h
index fa268eff78b05a3ec25cb2abfa3f84c2d28cd021..9b2c7733cfd103fb485fb0d2e38c2933f093edf4 100644 (file)
--- a/xen/include/asm-x86/x86_32/page.h
+++ b/xen/include/asm-x86/x86_32/page.h
@@ -71,17 +71,6 @@ static inline void *__maddr_to_virt(unsigned long ma)
     return (void *)(ma + DIRECTMAP_VIRT_START);
 }
 
-static inline unsigned long __xen_map_to_mfn(void *va)
-{
-    l1_pgentry_t *l1e;
-
-    ASSERT( (((unsigned long) va) >= MAPCACHE_VIRT_START) &&
-            (((unsigned long) va) <= MAPCACHE_VIRT_END) );
-    l1e = &__linear_l1_table[
-            l1_linear_offset((unsigned long) va)];
-    return l1e_get_pfn(*l1e);
-}
-
 /* read access (should only be used for debug printk's) */
 typedef u64 intpte_t;
 #define PRIpte "016llx"

diff --git a/xen/include/asm-x86/x86_64/page.h b/xen/include/asm-x86/x86_64/page.h
index 7fe831bf6d0ccc388a3443bf41347f018b2f6fb9..2f46ba2c5a15b40de59bc94498a582f535ea0aa4 100644 (file)
--- a/xen/include/asm-x86/x86_64/page.h
+++ b/xen/include/asm-x86/x86_64/page.h
@@ -104,11 +104,6 @@ static inline void *__maddr_to_virt(unsigned long ma)
                      ((ma & ma_top_mask) >> pfn_pdx_hole_shift)));
 }
 
-static inline unsigned long __xen_map_to_mfn(void *va)
-{
-    return (__virt_to_maddr((unsigned long) va) >> PAGE_SHIFT);
-}
-
 /* read access (should only be used for debug printk's) */
 typedef u64 intpte_t;
 #define PRIpte "016lx"