Home
last modified time | relevance | path

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

/arch/x86/kvm/
Dpmu.c89 void kvm_deliver_pmi(struct kvm_vcpu *vcpu) in kvm_deliver_pmi() function
102 kvm_deliver_pmi(vcpu); in trigger_pmi()
Dx86.c5254 kvm_deliver_pmi(vcpu); in vcpu_enter_guest()
/arch/x86/include/asm/
Dkvm_host.h968 void kvm_deliver_pmi(struct kvm_vcpu *vcpu);