/* SPDX-License-Identifier: GPL-2.0-only */ #ifndef TIOGAPASS_IPMI_H #define TIOGAPASS_IPMI_H #include <types.h> void init_frb2_wdt(void); #endif