drivers/char/ipmi/ipmi_dmi.h

   1 /*
   2  * DMI defines for use by IPMI
   3  */
   4
   5 #define IPMI_DMI_TYPE_KCS       0x01
   6 #define IPMI_DMI_TYPE_SMIC      0x02
   7 #define IPMI_DMI_TYPE_BT        0x03
   8 #define IPMI_DMI_TYPE_SSIF      0x04
   9
  10 #ifdef CONFIG_IPMI_DMI_DECODE
  11 int ipmi_dmi_get_slave_addr(int type, u32 flags, unsigned long base_addr);
  12 #endif