|
@@ -672,6 +672,7 @@ void efi_native_runtime_setup(void);
|
|
|
#define LINUX_EFI_LOADER_ENTRY_GUID EFI_GUID(0x4a67b082, 0x0a4c, 0x41cf, 0xb6, 0xc7, 0x44, 0x0b, 0x29, 0xbb, 0x8c, 0x4f)
|
|
|
#define LINUX_EFI_RANDOM_SEED_TABLE_GUID EFI_GUID(0x1ce1e5bc, 0x7ceb, 0x42f2, 0x81, 0xe5, 0x8a, 0xad, 0xf1, 0x80, 0xf5, 0x7b)
|
|
|
#define LINUX_EFI_TPM_EVENT_LOG_GUID EFI_GUID(0xb7799cb0, 0xeca2, 0x4943, 0x96, 0x67, 0x1f, 0xae, 0x07, 0xb7, 0x47, 0xfa)
|
|
|
+#define LINUX_EFI_MEMRESERVE_TABLE_GUID EFI_GUID(0x888eb0c6, 0x8ede, 0x4ff5, 0xa8, 0xf0, 0x9a, 0xee, 0x5c, 0xb9, 0x77, 0xc2)
|
|
|
|
|
|
typedef struct {
|
|
|
efi_guid_t guid;
|
|
@@ -957,6 +958,7 @@ extern struct efi {
|
|
|
unsigned long mem_attr_table; /* memory attributes table */
|
|
|
unsigned long rng_seed; /* UEFI firmware random seed */
|
|
|
unsigned long tpm_log; /* TPM2 Event Log table */
|
|
|
+ unsigned long mem_reserve; /* Linux EFI memreserve table */
|
|
|
efi_get_time_t *get_time;
|
|
|
efi_set_time_t *set_time;
|
|
|
efi_get_wakeup_time_t *get_wakeup_time;
|
|
@@ -1662,4 +1664,10 @@ extern int efi_tpm_eventlog_init(void);
|
|
|
/* Workqueue to queue EFI Runtime Services */
|
|
|
extern struct workqueue_struct *efi_rts_wq;
|
|
|
|
|
|
+struct linux_efi_memreserve {
|
|
|
+ phys_addr_t next;
|
|
|
+ phys_addr_t base;
|
|
|
+ phys_addr_t size;
|
|
|
+};
|
|
|
+
|
|
|
#endif /* _LINUX_EFI_H */
|