1741 	iterator->shadow_addr = vcpu->arch.mmu.root_hpa;  in shadow_walk_init()
2454 	if (!VALID_PAGE(vcpu->arch.mmu.root_hpa))  in __direct_map()
2646 	if (!VALID_PAGE(vcpu->arch.mmu.root_hpa))  in mmu_free_roots()
2652 		hpa_t root = vcpu->arch.mmu.root_hpa;  in mmu_free_roots()
2660 		vcpu->arch.mmu.root_hpa = INVALID_PAGE;  in mmu_free_roots()
2679 	vcpu->arch.mmu.root_hpa = INVALID_PAGE;  in mmu_free_roots()
2706 		vcpu->arch.mmu.root_hpa = __pa(sp->spt);  in mmu_alloc_direct_roots()
2723 		vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.pae_root);  in mmu_alloc_direct_roots()
2747 		hpa_t root = vcpu->arch.mmu.root_hpa;  in mmu_alloc_shadow_roots()
2758 		vcpu->arch.mmu.root_hpa = root;  in mmu_alloc_shadow_roots()
2796 	vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.pae_root);  in mmu_alloc_shadow_roots()
2820 		vcpu->arch.mmu.root_hpa = __pa(vcpu->arch.mmu.lm_root);  in mmu_alloc_shadow_roots()
2842 	if (!VALID_PAGE(vcpu->arch.mmu.root_hpa))  in mmu_sync_roots()
2848 		hpa_t root = vcpu->arch.mmu.root_hpa;  in mmu_sync_roots()
2994 	ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa));  in nonpaging_page_fault()
3063 	ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa));  in tdp_page_fault()
3123 	context->root_hpa = INVALID_PAGE;  in nonpaging_init_context()
3269 	context->root_hpa = INVALID_PAGE;  in paging64_init_context_common()
3296 	context->root_hpa = INVALID_PAGE;  in paging32_init_context()
3319 	context->root_hpa = INVALID_PAGE;  in init_kvm_tdp_mmu()
3355 	ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));  in kvm_init_shadow_mmu()
3438 	if (VALID_PAGE(vcpu->arch.mmu.root_hpa))  in destroy_kvm_mmu()
3464 	vcpu->arch.mmu.set_cr3(vcpu, vcpu->arch.mmu.root_hpa);  in kvm_mmu_load()
3825 	vcpu->arch.mmu.root_hpa = INVALID_PAGE;  in kvm_mmu_create()
3835 	ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));  in kvm_mmu_setup()