35 typedef void (*inspect_spte_fn) (struct kvm_vcpu *vcpu, u64 *sptep, int level);
38 			    inspect_spte_fn fn, int level)  in __mmu_spte_walk()  argument
45 		fn(vcpu, ent + i, level);  in __mmu_spte_walk()
48 		      !is_last_spte(ent[i], level)) {  in __mmu_spte_walk()
52 			__mmu_spte_walk(vcpu, child, fn, level - 1);  in __mmu_spte_walk()
96 static void audit_mappings(struct kvm_vcpu *vcpu, u64 *sptep, int level)  in audit_mappings()  argument
106 		if (level != PT_PAGE_TABLE_LEVEL) {  in audit_mappings()
108 				     "level = %d\n", sp, level);  in audit_mappings()
113 	if (!is_shadow_present_pte(*sptep) || !is_last_spte(*sptep, level))  in audit_mappings()
149 	rmapp = gfn_to_rmap(kvm, gfn, rev_sp->role.level);  in inspect_spte_has_rmap()
159 static void audit_sptes_have_rmaps(struct kvm_vcpu *vcpu, u64 *sptep, int level)  in audit_sptes_have_rmaps()  argument
161 	if (is_shadow_present_pte(*sptep) && is_last_spte(*sptep, level))  in audit_sptes_have_rmaps()
165 static void audit_spte_after_sync(struct kvm_vcpu *vcpu, u64 *sptep, int level)  in audit_spte_after_sync()  argument
178 	if (sp->role.level != PT_PAGE_TABLE_LEVEL)  in check_mappings_rmap()
220 static void audit_spte(struct kvm_vcpu *vcpu, u64 *sptep, int level)  in audit_spte()  argument
222 	audit_sptes_have_rmaps(vcpu, sptep, level);  in audit_spte()
223 	audit_mappings(vcpu, sptep, level);  in audit_spte()
224 	audit_spte_after_sync(vcpu, sptep, level);  in audit_spte()