drivers/char/ipmi/ipmi_dmi.h

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