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 */ 15