diff options
Diffstat (limited to 'src/shared/efivars.h')
-rw-r--r-- | src/shared/efivars.h | 29 |
1 files changed, 27 insertions, 2 deletions
diff --git a/src/shared/efivars.h b/src/shared/efivars.h index dac66da9f8..92670c82c7 100644 --- a/src/shared/efivars.h +++ b/src/shared/efivars.h @@ -18,6 +18,12 @@ #define EFI_VARIABLE_BOOTSERVICE_ACCESS 0x0000000000000002 #define EFI_VARIABLE_RUNTIME_ACCESS 0x0000000000000004 +#define EFI_LOADER_FEATURE_CONFIG_TIMEOUT (UINT64_C(1) << 0) +#define EFI_LOADER_FEATURE_CONFIG_TIMEOUT_ONE_SHOT (UINT64_C(1) << 1) +#define EFI_LOADER_FEATURE_ENTRY_DEFAULT (UINT64_C(1) << 2) +#define EFI_LOADER_FEATURE_ENTRY_ONESHOT (UINT64_C(1) << 3) +#define EFI_LOADER_FEATURE_BOOT_COUNTING (UINT64_C(1) << 4) + #if ENABLE_EFI bool is_efi_boot(void); @@ -28,8 +34,9 @@ int efi_get_reboot_to_firmware(void); int efi_set_reboot_to_firmware(bool value); int efi_get_variable(sd_id128_t vendor, const char *name, uint32_t *attribute, void **value, size_t *size); -int efi_set_variable(sd_id128_t vendor, const char *name, const void *value, size_t size); int efi_get_variable_string(sd_id128_t vendor, const char *name, char **p); +int efi_set_variable(sd_id128_t vendor, const char *name, const void *value, size_t size); +int efi_set_variable_string(sd_id128_t vendor, const char *name, const char *p); int efi_get_boot_option(uint16_t nr, char **title, sd_id128_t *part_uuid, char **path, bool *active); int efi_add_boot_option(uint16_t id, const char *title, uint32_t part, uint64_t pstart, uint64_t psize, sd_id128_t part_uuid, const char *path); @@ -41,6 +48,12 @@ int efi_get_boot_options(uint16_t **options); int efi_loader_get_device_part_uuid(sd_id128_t *u); int efi_loader_get_boot_usec(usec_t *firmware, usec_t *loader); +int efi_loader_get_entries(char ***ret); + +bool efi_loader_entry_name_valid(const char *s); + +int efi_loader_get_features(uint64_t *ret); + #else static inline bool is_efi_boot(void) { @@ -71,11 +84,15 @@ static inline int efi_get_variable(sd_id128_t vendor, const char *name, uint32_t return -EOPNOTSUPP; } +static inline int efi_get_variable_string(sd_id128_t vendor, const char *name, char **p) { + return -EOPNOTSUPP; +} + static inline int efi_set_variable(sd_id128_t vendor, const char *name, const void *value, size_t size) { return -EOPNOTSUPP; } -static inline int efi_get_variable_string(sd_id128_t vendor, const char *name, char **p) { +static inline int efi_set_variable_string(sd_id128_t vendor, const char *name, const char *p) { return -EOPNOTSUPP; } @@ -111,6 +128,14 @@ static inline int efi_loader_get_boot_usec(usec_t *firmware, usec_t *loader) { return -EOPNOTSUPP; } +static inline int efi_loader_get_entries(char ***ret) { + return -EOPNOTSUPP; +} + +static inline int efi_loader_get_features(uint64_t *ret) { + return -EOPNOTSUPP; +} + #endif char *efi_tilt_backslashes(char *s); |