2010-02-22 07:09:43 +01:00
|
|
|
#ifndef FALLBACK_H
|
|
|
|
#define FALLBACK_H
|
2003-04-22 21:02:15 +02:00
|
|
|
|
2005-07-08 04:49:49 +02:00
|
|
|
void boot_successful(void);
|
2016-12-11 11:56:37 +01:00
|
|
|
void set_boot_successful(void);
|
2020-01-04 21:07:37 +01:00
|
|
|
int do_normal_boot(void);
|
2003-04-22 21:02:15 +02:00
|
|
|
|
2010-02-22 07:09:43 +01:00
|
|
|
#endif /* FALLBACK_H */
|