3418 static void mmu_free_root_page(struct kvm *kvm, hpa_t *root_hpa,  in mmu_free_root_page()  argument
3423 	if (!VALID_PAGE(*root_hpa))  in mmu_free_root_page()
3426 	sp = to_shadow_page(*root_hpa & SPTE_BASE_ADDR_MASK);  in mmu_free_root_page()
3435 	*root_hpa = INVALID_PAGE;  in mmu_free_root_page()
3494 	hpa_t root_hpa;  in kvm_mmu_free_guest_mode_roots()  local
3504 		root_hpa = mmu->prev_roots[i].hpa;  in kvm_mmu_free_guest_mode_roots()
3505 		if (!VALID_PAGE(root_hpa))  in kvm_mmu_free_guest_mode_roots()
3508 		if (!to_shadow_page(root_hpa) ||  in kvm_mmu_free_guest_mode_roots()
3509 			to_shadow_page(root_hpa)->role.guest_mode)  in kvm_mmu_free_guest_mode_roots()
5334 static bool is_obsolete_root(struct kvm *kvm, hpa_t root_hpa)  in is_obsolete_root()  argument
5338 	if (!VALID_PAGE(root_hpa))  in is_obsolete_root()
5352 	sp = to_shadow_page(root_hpa);  in is_obsolete_root()
5594 			    gva_t gva, hpa_t root_hpa)  in kvm_mmu_invalidate_gva()  argument
5610 	if (root_hpa == INVALID_PAGE) {  in kvm_mmu_invalidate_gva()
5628 		mmu->invlpg(vcpu, gva, root_hpa);  in kvm_mmu_invalidate_gva()