drivers/char/ipmi/ipmi_dmi.h

   1 /* SPDX-License-Identifier: GPL-2.0+ */
   2 /*
   3  * DMI defines for use by IPMI
   4  */
   5 #include "ipmi_si.h"
   6
   7 #ifdef CONFIG_IPMI_DMI_DECODE
   8 int ipmi_dmi_get_slave_addr(enum si_type si_type, unsigned int space,
   9                             unsigned long base_addr);
  10 #endif