arbitrary_virt_to_machine
xmaddr_t arbitrary_virt_to_machine(void *address);
maddr = arbitrary_virt_to_machine(&gdt[GDT_ENTRY_TLS_MIN+i]);
xmaddr_t mach_lp = arbitrary_virt_to_machine(&dt[entrynum]);
xmaddr_t maddr = arbitrary_virt_to_machine(&dt[entry]);
xmaddr_t maddr = arbitrary_virt_to_machine(vaddr);
EXPORT_SYMBOL_GPL(arbitrary_virt_to_machine);
u.ptr = arbitrary_virt_to_machine(ptr).maddr;
u.ptr = arbitrary_virt_to_machine(ptr).maddr;
pte_maddr = arbitrary_virt_to_machine(pte).maddr;
info->phys_addrs[info->idx++] = arbitrary_virt_to_machine(pte).maddr;
unmap[i].host_addr = arbitrary_virt_to_machine(