|
@@ -128,6 +128,7 @@ extern void efi_call_phys_epilog(void);
|
|
extern void efi_unmap_memmap(void);
|
|
extern void efi_unmap_memmap(void);
|
|
extern void efi_memory_uc(u64 addr, unsigned long size);
|
|
extern void efi_memory_uc(u64 addr, unsigned long size);
|
|
extern void __init efi_map_region(efi_memory_desc_t *md);
|
|
extern void __init efi_map_region(efi_memory_desc_t *md);
|
|
|
|
+extern void __init efi_map_region_fixed(efi_memory_desc_t *md);
|
|
extern void efi_sync_low_kernel_mappings(void);
|
|
extern void efi_sync_low_kernel_mappings(void);
|
|
extern void efi_setup_page_tables(void);
|
|
extern void efi_setup_page_tables(void);
|
|
extern void __init old_map_region(efi_memory_desc_t *md);
|
|
extern void __init old_map_region(efi_memory_desc_t *md);
|