coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
ipmi.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef TIOGAPASS_IPMI_H
4 #define TIOGAPASS_IPMI_H
5 #include <types.h>
6 
7 void init_frb2_wdt(void);
8 #endif
init_frb2_wdt
void init_frb2_wdt(void)
Definition: ipmi.c:60