xmaddr_t           23 arch/x86/include/asm/xen/page.h } xmaddr_t;
xmaddr_t           20 include/xen/arm/page.h } xmaddr_t;