Searched refs:pagetable_get_paddr (Results 1 – 8 of 8) sorted by relevance
148 vmcb->_h_cr3 = pagetable_get_paddr( in construct_vmcb()
418 n2vmcb->_h_cr3 = pagetable_get_paddr(p2m_get_pagetable(p2m)); in nestedsvm_vmcb_set_nestedp2m()
334 vmcb_set_h_cr3(vmcb, pagetable_get_paddr(p2m_get_pagetable(p2m))); in svm_vmcb_restore()
174 crs[3] = pagetable_get_paddr(kernel ? in vcpu_show_registers()
237 #define pagetable_get_paddr(x) ((paddr_t)(x).pfn << PAGE_SHIFT) macro
613 l4start = l4tab = __va(pagetable_get_paddr(v->arch.guest_table)); in dom0_construct_pv()
1912 pagetable_get_paddr(pagetable_from_mfn(pgd_mfn)); in iommu_set_pgd()
4124 v->arch.hvm.hw_cr[3] = pagetable_get_paddr(v->arch.shadow_table[0]); in sh_update_cr3()
Completed in 25 milliseconds