7 #include <types/types.h>
10 IPMI_NETFN_CHASSIS = 0x0,
12 IPMI_NETFN_TRANSPORT = 0x0c,
16 IPMI_CMD_CHASSIS_SET_SYSTEM_BOOT_OPTIONS = 0x08,
17 IPMI_CMD_CHASSIS_GET_SYSTEM_BOOT_OPTIONS = 0x09,
18 IPMI_CMD_SENSOR_SET = 0x30,
19 IPMI_CMD_TRANSPORT_GET_LAN_PARAMS = 0x02,
22 enum ipmi_sensor_ids {
23 IPMI_SENSOR_ID_OS_BOOT = 0x1F,
28 bool ipmi_present(void);
29 bool ipmi_bootdev_is_valid(int x);
30 struct ipmi *ipmi_open(void *ctx);
32 int ipmi_transaction(struct ipmi *ipmi, uint8_t netfn, uint8_t cmd,
33 uint8_t *req_buf, uint16_t req_len,
34 uint8_t *resp_buf, uint16_t *resp_len,