Lines Matching refs:pae_root
2095 = vcpu->arch.mmu.pae_root[(addr >> 30) & 3]; in shadow_walk_init()
3089 hpa_t root = vcpu->arch.mmu.pae_root[i]; in mmu_free_roots()
3099 vcpu->arch.mmu.pae_root[i] = INVALID_PAGE; in mmu_free_roots()
3133 hpa_t root = vcpu->arch.mmu.pae_root[i]; in mmu_alloc_direct_roots()
3145 vcpu->arch.mmu.pae_root[i] = root | PT_PRESENT_MASK; in mmu_alloc_direct_roots()
3147 vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.pae_root); in mmu_alloc_direct_roots()
3196 hpa_t root = vcpu->arch.mmu.pae_root[i]; in mmu_alloc_shadow_roots()
3202 vcpu->arch.mmu.pae_root[i] = 0; in mmu_alloc_shadow_roots()
3218 vcpu->arch.mmu.pae_root[i] = root | pm_mask; in mmu_alloc_shadow_roots()
3220 vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.pae_root); in mmu_alloc_shadow_roots()
3239 lm_root[0] = __pa(vcpu->arch.mmu.pae_root) | pm_mask; in mmu_alloc_shadow_roots()
3279 hpa_t root = vcpu->arch.mmu.pae_root[i]; in mmu_sync_roots()
4335 free_page((unsigned long)vcpu->arch.mmu.pae_root); in free_mmu_pages()
4354 vcpu->arch.mmu.pae_root = page_address(page); in alloc_mmu_pages()
4356 vcpu->arch.mmu.pae_root[i] = INVALID_PAGE; in alloc_mmu_pages()