KVM_REQ_ICPT_OPEREXC
if (kvm_check_request(KVM_REQ_ICPT_OPEREXC, vcpu)) {
kvm_s390_sync_request(KVM_REQ_ICPT_OPEREXC, vcpu);