Lines Matching refs:VALID_PAGE
2427 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa)) in mmu_free_roots()
2492 ASSERT(!VALID_PAGE(root)); in mmu_alloc_direct_roots()
2530 ASSERT(!VALID_PAGE(root)); in mmu_alloc_shadow_roots()
2555 ASSERT(!VALID_PAGE(root)); in mmu_alloc_shadow_roots()
2623 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa)) in mmu_sync_roots()
2637 if (root && VALID_PAGE(root)) { in mmu_sync_roots()
2682 ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa)); in nonpaging_page_fault()
2751 ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa)); in tdp_page_fault()
3027 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa)); in kvm_init_shadow_mmu()
3106 if (VALID_PAGE(vcpu->arch.mmu.root_hpa)) in destroy_kvm_mmu()
3484 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa)); in kvm_mmu_create()
3492 ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa)); in kvm_mmu_setup()