8 IPMI_NETFN_CHASSIS = 0x0,
13 IPMI_CMD_CHASSIS_SET_SYSTEM_BOOT_OPTIONS = 0x08,
14 IPMI_CMD_CHASSIS_GET_SYSTEM_BOOT_OPTIONS = 0x09,
15 IPMI_CMD_SENSOR_SET = 0x30,
19 IPMI_BOOTDEV_NONE = 0x00,
20 IPMI_BOOTDEV_NETWORK = 0x01,
21 IPMI_BOOTDEV_DISK = 0x2,
22 IPMI_BOOTDEV_SAFE = 0x3,
23 IPMI_BOOTDEV_CDROM = 0x5,
24 IPMI_BOOTDEV_SETUP = 0x6,
27 enum ipmi_sensor_ids {
28 IPMI_SENSOR_ID_OS_BOOT = 0x1F,
33 bool ipmi_present(void);
34 bool ipmi_bootdev_is_valid(int x);
35 struct ipmi *ipmi_open(void *ctx);
37 int ipmi_transaction(struct ipmi *ipmi, uint8_t netfn, uint8_t cmd,
38 uint8_t *req_buf, uint16_t req_len,
39 uint8_t *resp_buf, uint16_t *resp_len,