discover/platform-powerpc: Set IPMI OS boot sensor

[petitboot] / discover / ipmi.h

diff --git a/discover/ipmi.h b/discover/ipmi.h
index e60ff619215984c58da52293df3315ad9de773ce..83f29107e276ef5545d0288c4acf5f90eabb18bd 100644 (file)
--- a/discover/ipmi.h
+++ b/discover/ipmi.h
@@ -5,12 +5,14 @@
 #include <stdint.h>
 
 enum ipmi_netfn {
 #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,
 };
 
 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 {
 };
 
 enum ipmi_bootdev {


@@ -22,6 +24,10 @@ enum ipmi_bootdev {
        IPMI_BOOTDEV_SETUP = 0x6,
 };
 
        IPMI_BOOTDEV_SETUP = 0x6,
 };
 

+enum ipmi_sensor_ids {
+       IPMI_SENSOR_ID_OS_BOOT          = 0x1F,
+};
+

 struct ipmi;
 
 bool ipmi_present(void);
 struct ipmi;
 
 bool ipmi_present(void);