arch/arm64/include/asm/efi.h

   1 #ifndef _ASM_EFI_H
   2 #define _ASM_EFI_H
   3
   4 #include <asm/io.h>
   5
   6 #ifdef CONFIG_EFI
   7 extern void efi_init(void);
   8 extern void efi_idmap_init(void);
   9 #else
  10 #define efi_init()
  11 #define efi_idmap_init()
  12 #endif
  13
  14 #endif /* _ASM_EFI_H */