void kvm_s390_crw_mchk(void)

{

    struct kvm_s390_irq irq = {

        .type = KVM_S390_MCHK,

        .u.mchk.cr14 = 1 << 28,

        .u.mchk.mcic = build_channel_report_mcic(),

    };

    kvm_s390_floating_interrupt(&irq);

}

void kvm_s390_crw_mchk(void)

{

    struct kvm_s390_irq irq = {

        .type = KVM_S390_MCHK,

        .u.mchk.cr14 = 1 << 28,

        .u.mchk.mcic = build_channel_report_mcic(),

    };

    kvm_s390_floating_interrupt(&irq);

}

void FUNC_0(void)

{

    struct kvm_s390_irq VAR_0 = {

        .type = KVM_S390_MCHK,

        .u.mchk.cr14 = 1 << 28,

        .u.mchk.mcic = build_channel_report_mcic(),

    };

    kvm_s390_floating_interrupt(&VAR_0);

}

void FUNC_0(void)
{ struct kvm_s390_irq VAR_0 = { .type = KVM_S390_MCHK,
.u.mchk.cr14 = 1 << 28,
.u.mchk.mcic = build_channel_report_mcic(),
}; kvm_s390_floating_interrupt(&VAR_0); }