-enum ipmi_bootdev {
- IPMI_BOOTDEV_NONE = 0x0,
- IPMI_BOOTDEV_NETWORK = 0x1,
- IPMI_BOOTDEV_DISK = 0x2,
- IPMI_BOOTDEV_SAFE = 0x3,
- IPMI_BOOTDEV_CDROM = 0x5,
- IPMI_BOOTDEV_SETUP = 0x6,
+#include <types/types.h>
+
+enum ipmi_netfn {
+ IPMI_NETFN_CHASSIS = 0x0,
+ IPMI_NETFN_SE = 0x04,
+};
+
+enum ipmi_cmd {
+ IPMI_CMD_CHASSIS_SET_SYSTEM_BOOT_OPTIONS = 0x08,
+ IPMI_CMD_CHASSIS_GET_SYSTEM_BOOT_OPTIONS = 0x09,
+ IPMI_CMD_SENSOR_SET = 0x30,