Searched refs:kvm_deliver_pmi (Results 1 - 3 of 3) sorted by relevance

/linux-4.1.27/arch/x86/kvm/
H A Dpmu.c90 void kvm_deliver_pmi(struct kvm_vcpu *vcpu) kvm_deliver_pmi() function
103 kvm_deliver_pmi(vcpu); trigger_pmi()
H A Dx86.c6278 kvm_deliver_pmi(vcpu); vcpu_enter_guest()
/linux-4.1.27/arch/x86/include/asm/
H A Dkvm_host.h1183 void kvm_deliver_pmi(struct kvm_vcpu *vcpu);

Completed in 131 milliseconds