discover/platform-powerpc: Set IPMI OS boot sensor
[petitboot] / discover / ipmi.h
index e60ff619215984c58da52293df3315ad9de773ce..83f29107e276ef5545d0288c4acf5f90eabb18bd 100644 (file)
@@ -5,12 +5,14 @@
 #include <stdint.h>
 
 enum ipmi_netfn {
-       IPMI_NETFN_CHASSIS = 0x0,
+       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,
 };
 
 enum ipmi_bootdev {
@@ -22,6 +24,10 @@ enum ipmi_bootdev {
        IPMI_BOOTDEV_SETUP = 0x6,
 };
 
+enum ipmi_sensor_ids {
+       IPMI_SENSOR_ID_OS_BOOT          = 0x1F,
+};
+
 struct ipmi;
 
 bool ipmi_present(void);