coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
ipmi_supermicro_oem.h
Go to the documentation of this file.
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 */
void supermicro_ipmi_oem(const uint16_t kcs_port)
unsigned short uint16_t
Definition: stdint.h:11