src/mainboard/inventec/transformers/ipmi.h

   1 /* SPDX-License-Identifier: GPL-2.0-or-later */
   2
   3 #ifndef TRANSFORMERS_IPMI_H
   4 #define TRANSFORMERS_IPMI_H
   5
   6 #include <types.h>
   7
   8 void init_frb2_wdt(void);
   9 enum cb_err ipmi_get_slot_id(uint8_t *slot_id);
  10
  11 #endif