audit_mappings_page 2351 arch/x86/kvm/mmu.c 			audit_mappings_page(vcpu, ent, va, level - 1);
audit_mappings_page 2378 arch/x86/kvm/mmu.c 		audit_mappings_page(vcpu, vcpu->arch.mmu.root_hpa, 0, 4);
audit_mappings_page 2382 arch/x86/kvm/mmu.c 				audit_mappings_page(vcpu,