Searched refs:virt_to_machine (Results 1 – 5 of 5) sorted by relevance
48 #define virt_to_machine(v) (phys_to_machine(XPADDR(__pa(v)))) macro56 return virt_to_machine(vaddr); in arbitrary_virt_to_machine()
51 static inline unsigned long virt_to_machine(void *virt) in virt_to_machine() function
168 #define virt_to_machine(v) (phys_to_machine(XPADDR(__pa(v)))) macro
145 return virt_to_machine(vaddr); in arbitrary_virt_to_machine()207 u->ptr = virt_to_machine(ptep).maddr; in xen_set_domain_pte()302 u.ptr = virt_to_machine(ptep).maddr | MMU_NORMAL_PT_UPDATE; in xen_batched_set_pte()323 u.ptr = virt_to_machine(ptep).maddr | MMU_NORMAL_PT_UPDATE; in __xen_set_pte()358 u.ptr = virt_to_machine(ptep).maddr | MMU_PT_UPDATE_PRESERVE_AD; in xen_ptep_modify_prot_commit()625 u.ptr = virt_to_machine(ptr).maddr; in __xen_set_pgd_hyper()2499 rmd->mmu_update->ptr = virt_to_machine(ptep).maddr; in remap_area_mfn_pte_fn()
892 xmaddr_t maddr = virt_to_machine(&dt[entry]); in xen_write_gdt_entry_boot()