7 #include <types/types.h>
10 IPMI_NETFN_CHASSIS = 0x0,
12 IPMI_NETFN_APP = 0x06,
13 IPMI_NETFN_TRANSPORT = 0x0c,
14 IPMI_NETFN_AMI = 0x3a,
18 IPMI_CMD_CHASSIS_SET_SYSTEM_BOOT_OPTIONS = 0x08,
19 IPMI_CMD_CHASSIS_GET_SYSTEM_BOOT_OPTIONS = 0x09,
20 IPMI_CMD_SENSOR_SET = 0x30,
21 IPMI_CMD_TRANSPORT_GET_LAN_PARAMS = 0x02,
22 IPMI_CMD_APP_GET_DEVICE_ID = 0x01,
23 IPMI_CMD_APP_GET_DEVICE_ID_GOLDEN = 0x1a,
26 enum ipmi_sensor_ids {
27 IPMI_SENSOR_ID_OS_BOOT = 0x1F,
32 bool ipmi_present(void);
33 bool ipmi_bootdev_is_valid(int x);
34 struct ipmi *ipmi_open(void *ctx);
36 int ipmi_transaction(struct ipmi *ipmi, uint8_t netfn, uint8_t cmd,
37 uint8_t *req_buf, uint16_t req_len,
38 uint8_t *resp_buf, uint16_t *resp_len,
41 int parse_ipmi_interface_override(struct config *config, uint8_t *buf,