1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * Copyright (C) 2020 Western Digital Corporation or its affiliates.
4  */
5 #ifndef _ASM_EFI_H
6 #define _ASM_EFI_H
7 
8 #include <asm/csr.h>
9 #include <asm/io.h>
10 #include <asm/mmu_context.h>
11 #include <asm/ptrace.h>
12 #include <asm/tlbflush.h>
13 #include <asm/pgalloc.h>
14 
15 #ifdef CONFIG_EFI
16 extern void efi_init(void);
17 #else
18 #define efi_init()
19 #endif
20 
21 int efi_create_mapping(struct mm_struct *mm, efi_memory_desc_t *md);
22 int efi_set_mapping_permissions(struct mm_struct *mm, efi_memory_desc_t *md);
23 
24 #define arch_efi_call_virt_setup()      ({		\
25 		sync_kernel_mappings(efi_mm.pgd);	\
26 		efi_virtmap_load();			\
27 	})
28 #define arch_efi_call_virt_teardown()   efi_virtmap_unload()
29 
30 #define ARCH_EFI_IRQ_FLAGS_MASK (SR_IE | SR_SPIE)
31 
32 /* Load initrd anywhere in system RAM */
efi_get_max_initrd_addr(unsigned long image_addr)33 static inline unsigned long efi_get_max_initrd_addr(unsigned long image_addr)
34 {
35 	return ULONG_MAX;
36 }
37 
38 #define alloc_screen_info(x...)		(&screen_info)
39 
free_screen_info(struct screen_info * si)40 static inline void free_screen_info(struct screen_info *si)
41 {
42 }
43 
44 void efi_virtmap_load(void);
45 void efi_virtmap_unload(void);
46 
47 #endif /* _ASM_EFI_H */
48