static void set_acpi_power_state(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(4);

    ibs->acpi_power_state[0] = cmd[2];

    ibs->acpi_power_state[1] = cmd[3];

}

static void set_acpi_power_state(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(4);

    ibs->acpi_power_state[0] = cmd[2];

    ibs->acpi_power_state[1] = cmd[3];

}

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

    VAR_0->acpi_power_state[0] = VAR_1[2];

    VAR_0->acpi_power_state[1] = 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(4); VAR_0->acpi_power_state[0] = VAR_1[2]; VAR_0->acpi_power_state[1] = VAR_1[3]; }