src/drivers/ipmi/ipmi_supermicro_oem.h

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #ifndef __IPMI_SUPERMICRO_OEM_H
   4 #define __IPMI_SUPERMICRO_OEM_H
   5
   6 #include <stdint.h>
   7
   8 void supermicro_ipmi_oem(const uint16_t kcs_port);
   9
  10 #endif /* __IPMI_SUPERMICRO_OEM_H */