virt_to_machine   350 arch/x86/xen/enlighten.c 	xmaddr_t maddr = virt_to_machine(&gdt[GDT_ENTRY_TLS_MIN+i]);
virt_to_machine   523 arch/x86/xen/enlighten.c 		xmaddr_t maddr = virt_to_machine(&dt[entry]);
virt_to_machine   413 arch/x86/xen/mmu.c 	u.ptr = virt_to_machine(ptep).maddr | MMU_PT_UPDATE_PRESERVE_AD;
virt_to_machine   582 arch/x86/xen/mmu.c 	u.ptr = virt_to_machine(ptr).maddr;