Lines Matching refs:pae_root
2136 = vcpu->arch.mmu->pae_root[(addr >> 30) & 3];
3189 } else if (mmu->pae_root) {
3191 if (mmu->pae_root[i] != 0)
3193 &mmu->pae_root[i],
3256 MMU_WARN_ON(VALID_PAGE(vcpu->arch.mmu->pae_root[i]));
3262 vcpu->arch.mmu->pae_root[i] = root | PT_PRESENT_MASK;
3264 vcpu->arch.mmu->root_hpa = __pa(vcpu->arch.mmu->pae_root);
3316 if (!vcpu->arch.mmu->pae_root) {
3319 vcpu->arch.mmu->pae_root = (void *)get_zeroed_page(GFP_KERNEL_ACCOUNT);
3320 if (!vcpu->arch.mmu->pae_root)
3326 MMU_WARN_ON(VALID_PAGE(vcpu->arch.mmu->pae_root[i]));
3330 vcpu->arch.mmu->pae_root[i] = 0;
3342 vcpu->arch.mmu->pae_root[i] = root | pm_mask;
3344 vcpu->arch.mmu->root_hpa = __pa(vcpu->arch.mmu->pae_root);
3361 lm_root[0] = __pa(vcpu->arch.mmu->pae_root) | pm_mask;
3428 hpa_t root = vcpu->arch.mmu->pae_root[i];
5304 free_page((unsigned long)mmu->pae_root);
5337 mmu->pae_root = page_address(page);
5339 mmu->pae_root[i] = INVALID_PAGE;