Searched refs:pagetable_get_paddr (Results 1 – 7 of 7) sorted by relevance
188 vmcb->_h_cr3 = pagetable_get_paddr( in construct_vmcb()
420 n2vmcb->_h_cr3 = pagetable_get_paddr(p2m_get_pagetable(p2m)); in nestedsvm_vmcb_set_nestedp2m()
331 vmcb_set_h_cr3(vmcb, pagetable_get_paddr(p2m_get_pagetable(p2m))); in svm_vmcb_restore()
173 crs[3] = pagetable_get_paddr(kernel ? in vcpu_show_registers()
217 #define pagetable_get_paddr(x) ((paddr_t)(x).pfn << PAGE_SHIFT) macro
1898 pagetable_get_paddr(pagetable_from_mfn(pgd_mfn)); in iommu_set_pgd()
4255 pagetable_get_paddr(v->arch.shadow_table[0]); in sh_update_cr3()
Completed in 27 milliseconds