static void sclp_execute(SCCB *sccb, uint64_t code)

{

    S390SCLPDevice *sdev = get_event_facility();



    switch (code & SCLP_CMD_CODE_MASK) {

    case SCLP_CMDW_READ_SCP_INFO:

    case SCLP_CMDW_READ_SCP_INFO_FORCED:

        read_SCP_info(sccb);

        break;

    case SCLP_CMDW_READ_CPU_INFO:

        sclp_read_cpu_info(sccb);

        break;

    default:

        sdev->sclp_command_handler(sdev->ef, sccb, code);

        break;

    }

}

static void sclp_execute(SCCB *sccb, uint64_t code)

{

    S390SCLPDevice *sdev = get_event_facility();



    switch (code & SCLP_CMD_CODE_MASK) {

    case SCLP_CMDW_READ_SCP_INFO:

    case SCLP_CMDW_READ_SCP_INFO_FORCED:

        read_SCP_info(sccb);

        break;

    case SCLP_CMDW_READ_CPU_INFO:

        sclp_read_cpu_info(sccb);

        break;

    default:

        sdev->sclp_command_handler(sdev->ef, sccb, code);

        break;

    }

}

static void FUNC_0(SCCB *VAR_0, uint64_t VAR_1)

{

    S390SCLPDevice *sdev = get_event_facility();



    switch (VAR_1 & SCLP_CMD_CODE_MASK) {

    case SCLP_CMDW_READ_SCP_INFO:

    case SCLP_CMDW_READ_SCP_INFO_FORCED:

        read_SCP_info(VAR_0);

        break;

    case SCLP_CMDW_READ_CPU_INFO:

        sclp_read_cpu_info(VAR_0);

        break;

    default:

        sdev->sclp_command_handler(sdev->ef, VAR_0, VAR_1);

        break;

    }

}

static void FUNC_0(SCCB *VAR_0, uint64_t VAR_1)
{ S390SCLPDevice *sdev = get_event_facility(); switch (VAR_1 & SCLP_CMD_CODE_MASK) { case SCLP_CMDW_READ_SCP_INFO:
case SCLP_CMDW_READ_SCP_INFO_FORCED:
read_SCP_info(VAR_0); break; case SCLP_CMDW_READ_CPU_INFO:
sclp_read_cpu_info(VAR_0); break; default:
sdev->sclp_command_handler(sdev->ef, VAR_0, VAR_1); break; } }