|
@@ -879,7 +879,11 @@ static inline efi_status_t efi_query_variable_store(u32 attributes, unsigned lon
|
|
|
#endif
|
|
|
extern void __iomem *efi_lookup_mapped_addr(u64 phys_addr);
|
|
|
extern int efi_config_init(efi_config_table_type_t *arch_tables);
|
|
|
+#ifdef CONFIG_EFI_ESRT
|
|
|
extern void __init efi_esrt_init(void);
|
|
|
+#else
|
|
|
+static inline void efi_esrt_init(void) { }
|
|
|
+#endif
|
|
|
extern int efi_config_parse_tables(void *config_tables, int count, int sz,
|
|
|
efi_config_table_type_t *arch_tables);
|
|
|
extern u64 efi_get_iobase (void);
|