static void add_sel_entry(IPMIBmcSim *ibs,

                          uint8_t *cmd, unsigned int cmd_len,

                          uint8_t *rsp, unsigned int *rsp_len,

                          unsigned int max_rsp_len)

{

    IPMI_CHECK_CMD_LEN(18);

    if (sel_add_event(ibs, cmd + 2)) {

        rsp[2] = IPMI_CC_OUT_OF_SPACE;

        return;

    }

    /* sel_add_event fills in the record number. */

    IPMI_ADD_RSP_DATA(cmd[2]);

    IPMI_ADD_RSP_DATA(cmd[3]);

}

static void add_sel_entry(IPMIBmcSim *ibs,

                          uint8_t *cmd, unsigned int cmd_len,

                          uint8_t *rsp, unsigned int *rsp_len,

                          unsigned int max_rsp_len)

{

    IPMI_CHECK_CMD_LEN(18);

    if (sel_add_event(ibs, cmd + 2)) {

        rsp[2] = IPMI_CC_OUT_OF_SPACE;

        return;

    }

    

    IPMI_ADD_RSP_DATA(cmd[2]);

    IPMI_ADD_RSP_DATA(cmd[3]);

}

    IPMI_CHECK_CMD_LEN(18);
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)

{

    IPMI_CHECK_CMD_LEN(18);

    if (sel_add_event(VAR_0, VAR_1 + 2)) {

        VAR_3[2] = IPMI_CC_OUT_OF_SPACE;

        return;

    }

    

    IPMI_ADD_RSP_DATA(VAR_1[2]);

    IPMI_ADD_RSP_DATA(VAR_1[3]);

}

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)
{ IPMI_CHECK_CMD_LEN(18); if (sel_add_event(VAR_0, VAR_1 + 2)) { VAR_3[2] = IPMI_CC_OUT_OF_SPACE; return; } IPMI_ADD_RSP_DATA(VAR_1[2]); IPMI_ADD_RSP_DATA(VAR_1[3]); }