arbitrary_virt_to_machine   18 arch/x86/xen/mmu.c xmaddr_t arbitrary_virt_to_machine(void *vaddr)
arbitrary_virt_to_machine   83 include/xen/arm/page.h static inline xmaddr_t arbitrary_virt_to_machine(void *vaddr)