kvm_pmu_deliver_pmi   55 arch/x86/kvm/pmu.c 	kvm_pmu_deliver_pmi(vcpu);
kvm_pmu_deliver_pmi  120 arch/x86/kvm/pmu.h void kvm_pmu_deliver_pmi(struct kvm_vcpu *vcpu);
kvm_pmu_deliver_pmi 8090 arch/x86/kvm/x86.c 			kvm_pmu_deliver_pmi(vcpu);