machine_to_phys_mapping 64 include/asm-x86/xen/interface.h #ifndef machine_to_phys_mapping machine_to_phys_mapping 51 include/asm-x86/xen/interface_64.h #ifndef machine_to_phys_mapping machine_to_phys_mapping 71 include/asm-x86/xen/page.h __get_user(pfn, &machine_to_phys_mapping[mfn]);