KVM_REQ_PMI
kvm_make_request(KVM_REQ_PMI, vcpu);
kvm_make_request(KVM_REQ_PMI, vcpu);
kvm_make_request(KVM_REQ_PMI, pmc->vcpu);
kvm_make_request(KVM_REQ_PMI, vcpu);
if (kvm_check_request(KVM_REQ_PMI, vcpu))
if (kvm_test_request(KVM_REQ_PMI, vcpu))