Searched refs:kvm_deliver_pmi (Results 1 – 3 of 3) sorted by relevance
89 void kvm_deliver_pmi(struct kvm_vcpu *vcpu) in kvm_deliver_pmi() function102 kvm_deliver_pmi(vcpu); in trigger_pmi()
5254 kvm_deliver_pmi(vcpu); in vcpu_enter_guest()
968 void kvm_deliver_pmi(struct kvm_vcpu *vcpu);