Lines Matching refs:pae_root
2166 = vcpu->arch.mmu.pae_root[(addr >> 30) & 3]; in shadow_walk_init()
3063 hpa_t root = vcpu->arch.mmu.pae_root[i]; in mmu_free_roots()
3073 vcpu->arch.mmu.pae_root[i] = INVALID_PAGE; in mmu_free_roots()
3107 hpa_t root = vcpu->arch.mmu.pae_root[i]; in mmu_alloc_direct_roots()
3119 vcpu->arch.mmu.pae_root[i] = root | PT_PRESENT_MASK; in mmu_alloc_direct_roots()
3121 vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.pae_root); in mmu_alloc_direct_roots()
3170 hpa_t root = vcpu->arch.mmu.pae_root[i]; in mmu_alloc_shadow_roots()
3176 vcpu->arch.mmu.pae_root[i] = 0; in mmu_alloc_shadow_roots()
3192 vcpu->arch.mmu.pae_root[i] = root | pm_mask; in mmu_alloc_shadow_roots()
3194 vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.pae_root); in mmu_alloc_shadow_roots()
3213 lm_root[0] = __pa(vcpu->arch.mmu.pae_root) | pm_mask; in mmu_alloc_shadow_roots()
3253 hpa_t root = vcpu->arch.mmu.pae_root[i]; in mmu_sync_roots()
4456 free_page((unsigned long)vcpu->arch.mmu.pae_root); in free_mmu_pages()
4475 vcpu->arch.mmu.pae_root = page_address(page); in alloc_mmu_pages()
4477 vcpu->arch.mmu.pae_root[i] = INVALID_PAGE; in alloc_mmu_pages()