7 #include <types/types.h>
10 IPMI_NETFN_CHASSIS = 0x0,
15 IPMI_CMD_CHASSIS_SET_SYSTEM_BOOT_OPTIONS = 0x08,
16 IPMI_CMD_CHASSIS_GET_SYSTEM_BOOT_OPTIONS = 0x09,
17 IPMI_CMD_SENSOR_SET = 0x30,
20 enum ipmi_sensor_ids {
21 IPMI_SENSOR_ID_OS_BOOT = 0x1F,
26 bool ipmi_present(void);
27 bool ipmi_bootdev_is_valid(int x);
28 struct ipmi *ipmi_open(void *ctx);
30 int ipmi_transaction(struct ipmi *ipmi, uint8_t netfn, uint8_t cmd,
31 uint8_t *req_buf, uint16_t req_len,
32 uint8_t *resp_buf, uint16_t *resp_len,