drivers/char/ipmi/ipmi_dmi.h

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