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, bool); 23 24 #define ARCH_EFI_IRQ_FLAGS_MASK (SR_IE | SR_SPIE) 25 26 /* Load initrd anywhere in system RAM */ 27 static inline unsigned long efi_get_max_initrd_addr(unsigned long image_addr) 28 { 29 return ULONG_MAX; 30 } 31 32 static inline unsigned long efi_get_kimg_min_align(void) 33 { 34 /* 35 * RISC-V requires the kernel image to placed 2 MB aligned base for 64 36 * bit and 4MB for 32 bit. 37 */ 38 return IS_ENABLED(CONFIG_64BIT) ? SZ_2M : SZ_4M; 39 } 40 41 #define EFI_KIMG_PREFERRED_ADDRESS efi_get_kimg_min_align() 42 43 void arch_efi_call_virt_setup(void); 44 void arch_efi_call_virt_teardown(void); 45 46 unsigned long stext_offset(void); 47 48 void efi_icache_sync(unsigned long start, unsigned long end); 49 50 #endif /* _ASM_EFI_H */ 51