|
@@ -985,7 +985,7 @@ static inline void efi_esrt_init(void) { }
|
|
|
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);
|
|
|
-extern u32 efi_mem_type (unsigned long phys_addr);
|
|
|
+extern int efi_mem_type(unsigned long phys_addr);
|
|
|
extern u64 efi_mem_attributes (unsigned long phys_addr);
|
|
|
extern u64 efi_mem_attribute (unsigned long phys_addr, unsigned long size);
|
|
|
extern int __init efi_uart_console_only (void);
|