void kvm_s390_crw_mchk(S390CPU *cpu)

{

    kvm_s390_interrupt_internal(cpu, KVM_S390_MCHK, 1 << 28,

                                0x00400f1d40330000, 1);

}

void kvm_s390_crw_mchk(S390CPU *cpu)

{

    kvm_s390_interrupt_internal(cpu, KVM_S390_MCHK, 1 << 28,

                                0x00400f1d40330000, 1);

}

void FUNC_0(S390CPU *VAR_0)

{

    kvm_s390_interrupt_internal(VAR_0, KVM_S390_MCHK, 1 << 28,

                                0x00400f1d40330000, 1);

}

void FUNC_0(S390CPU *VAR_0)
{ kvm_s390_interrupt_internal(VAR_0, KVM_S390_MCHK, 1 << 28,
0x00400f1d40330000, 1); }