1  /* SPDX-License-Identifier: GPL-2.0-only */
 2  
 3  #ifndef FALLBACK_H
 4  #define FALLBACK_H
 5  
 6  void boot_successful(void);
 7  void set_boot_successful(void);
 8  int do_normal_boot(void);
 9  
10  #endif /* FALLBACK_H */