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]);