KVM_S390_MCHK
trace_kvm_s390_inject_vcpu(vcpu->vcpu_id, KVM_S390_MCHK, 0,
case KVM_S390_MCHK:
case KVM_S390_MCHK:
case KVM_S390_MCHK:
case KVM_S390_MCHK:
case KVM_S390_MCHK:
irq->type = KVM_S390_MCHK;
case KVM_S390_MCHK:
inti.type = KVM_S390_MCHK;
irq.type = KVM_S390_MCHK;
irq->type = KVM_S390_MCHK;
KVM_S390_MCHK,
{KVM_S390_MCHK, "machine check"}, \