XMADDR 39 arch/x86/include/asm/xen/page.h #define XMADDR(x) ((xmaddr_t) { .maddr = (x) }) XMADDR 27 include/xen/arm/page.h #define XMADDR(x) ((xmaddr_t) { .maddr = (x) })