Searched refs:virt_to_machine (Results 1 – 3 of 3) sorted by relevance
29 return virt_to_machine(vaddr); in arbitrary_virt_to_machine()
1000 xmaddr_t maddr = virt_to_machine(&dt[entry]); in xen_write_gdt_entry_boot()
297 #define virt_to_machine(v) (phys_to_machine(XPADDR(__pa(v)))) macro