coreboot-kgpe-d16/src/include/fallback.h

11 lines
195 B
C
Raw Normal View History

/* SPDX-License-Identifier: GPL-2.0-only */
#ifndef FALLBACK_H
#define FALLBACK_H
void boot_successful(void);
void set_boot_successful(void);
int do_normal_boot(void);
#endif /* FALLBACK_H */