src/drivers/ipmi/ipmi_supermicro_oem.h

/* SPDX-License-Identifier: GPL-2.0-only */

#ifndef __IPMI_SUPERMICRO_OEM_H
#define __IPMI_SUPERMICRO_OEM_H

#include <stdint.h>

void supermicro_ipmi_oem(const uint16_t kcs_port);

#endif /* __IPMI_SUPERMICRO_OEM_H */