static void get_sensor_type(IPMIBmcSim *ibs,

                               uint8_t *cmd, unsigned int cmd_len,

                               uint8_t *rsp, unsigned int *rsp_len,

                               unsigned int max_rsp_len)

{

    IPMISensor *sens;





    IPMI_CHECK_CMD_LEN(3);

    if ((cmd[2] > MAX_SENSORS) ||

            !IPMI_SENSOR_GET_PRESENT(ibs->sensors + cmd[2])) {

        rsp[2] = IPMI_CC_REQ_ENTRY_NOT_PRESENT;

        return;

    }

    sens = ibs->sensors + cmd[2];

    IPMI_ADD_RSP_DATA(sens->sensor_type);

    IPMI_ADD_RSP_DATA(sens->evt_reading_type_code);

}

static void get_sensor_type(IPMIBmcSim *ibs,

                               uint8_t *cmd, unsigned int cmd_len,

                               uint8_t *rsp, unsigned int *rsp_len,

                               unsigned int max_rsp_len)

{

    IPMISensor *sens;





    IPMI_CHECK_CMD_LEN(3);

    if ((cmd[2] > MAX_SENSORS) ||

            !IPMI_SENSOR_GET_PRESENT(ibs->sensors + cmd[2])) {

        rsp[2] = IPMI_CC_REQ_ENTRY_NOT_PRESENT;

        return;

    }

    sens = ibs->sensors + cmd[2];

    IPMI_ADD_RSP_DATA(sens->sensor_type);

    IPMI_ADD_RSP_DATA(sens->evt_reading_type_code);

}

    if ((cmd[2] > MAX_SENSORS) ||     if ((cmd[2] > MAX_SENSORS) ||     if ((cmd[2] > MAX_SENSORS) ||     if ((cmd[2] > MAX_SENSORS) ||     if ((cmd[2] > MAX_SENSORS) ||     if ((cmd[2] > MAX_SENSORS) ||     if ((cmd[2] > MAX_SENSORS) ||
static void FUNC_0(IPMIBmcSim *VAR_0,

                               uint8_t *VAR_1, unsigned int VAR_2,

                               uint8_t *VAR_3, unsigned int *VAR_4,

                               unsigned int VAR_5)

{

    IPMISensor *sens;





    IPMI_CHECK_CMD_LEN(3);

    if ((VAR_1[2] > MAX_SENSORS) ||

            !IPMI_SENSOR_GET_PRESENT(VAR_0->sensors + VAR_1[2])) {

        VAR_3[2] = IPMI_CC_REQ_ENTRY_NOT_PRESENT;

        return;

    }

    sens = VAR_0->sensors + VAR_1[2];

    IPMI_ADD_RSP_DATA(sens->sensor_type);

    IPMI_ADD_RSP_DATA(sens->evt_reading_type_code);

}

static void FUNC_0(IPMIBmcSim *VAR_0,
uint8_t *VAR_1, unsigned int VAR_2,
uint8_t *VAR_3, unsigned int *VAR_4,
unsigned int VAR_5)
{ IPMISensor *sens; IPMI_CHECK_CMD_LEN(3); if ((VAR_1[2] > MAX_SENSORS) ||
!IPMI_SENSOR_GET_PRESENT(VAR_0->sensors + VAR_1[2])) { VAR_3[2] = IPMI_CC_REQ_ENTRY_NOT_PRESENT; return; } sens = VAR_0->sensors + VAR_1[2]; IPMI_ADD_RSP_DATA(sens->sensor_type); IPMI_ADD_RSP_DATA(sens->evt_reading_type_code); }