Searched refs:kvm_deliver_pmi (Results 1 – 3 of 3) sorted by relevance
90 void kvm_deliver_pmi(struct kvm_vcpu *vcpu) in kvm_deliver_pmi() function103 kvm_deliver_pmi(vcpu); in trigger_pmi()
6278 kvm_deliver_pmi(vcpu); in vcpu_enter_guest()
1183 void kvm_deliver_pmi(struct kvm_vcpu *vcpu);