coreboot-kgpe-d16/src/include/fallback.h
Kyösti Mälkki a581166820 drivers/pc80/rtc: Clean up some headers
Change-Id: I5b3f1da6581dd80264aaa9618227ac64e1966e8d
Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/38180
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
2020-01-07 18:40:02 +00:00

8 lines
150 B
C

#ifndef FALLBACK_H
#define FALLBACK_H
void boot_successful(void);
void set_boot_successful(void);
int do_normal_boot(void);
#endif /* FALLBACK_H */