menu.h 395 B raw

#ifndef MENU_H__
#define MENU_H__
​
#include <stdbool.h>
#include <stdnoreturn.h>
​
#define MENU_PATH_MAX 1024
​
#if defined(UEFI)
bool reboot_to_fw_ui_supported(void);
noreturn void reboot_to_fw_ui(void);
#endif
​
noreturn void menu(bool first_run);
​
noreturn void boot(char *config);
​
char *config_entry_editor(const char *title, const char *orig_entry);
​
extern bool booting_from_editor;
​
#endif

tab: 2 4 8 wrap: off on

1	#ifndef MENU_H__
2	#define MENU_H__
3
4	#include <stdbool.h>
5	#include <stdnoreturn.h>
6
7	#define MENU_PATH_MAX 1024
8
9	#if defined(UEFI)
10	bool reboot_to_fw_ui_supported(void);
11	noreturn void reboot_to_fw_ui(void);
12	#endif
13
14	noreturn void menu(bool first_run);
15
16	noreturn void boot(char *config);
17
18	char config_entry_editor(const char title, const char *orig_entry);
19
20	extern bool booting_from_editor;
21
22	#endif