xpaddr_t           28 arch/x86/include/asm/xen/page.h } xpaddr_t;
xpaddr_t           25 include/xen/arm/page.h } xpaddr_t;