virt_to_machine
xmaddr_t maddr = virt_to_machine(&dt[entry]);
return virt_to_machine(vaddr);
*dma_handle = virt_to_machine(vstart).maddr;
rmd->mmu_update->ptr = virt_to_machine(ptep).maddr;
return virt_to_machine(vmcoreinfo_note).maddr;
u.ptr = virt_to_machine(ptep).maddr | MMU_NORMAL_PT_UPDATE;
u.ptr = virt_to_machine(ptep).maddr | MMU_NORMAL_PT_UPDATE;
u.ptr = virt_to_machine(ptep).maddr | MMU_PT_UPDATE_PRESERVE_AD;
u.ptr = virt_to_machine(ptr).maddr;