efi_map_pal_code  600 arch/ia64/kernel/efi.c 	efi_map_pal_code();
efi_map_pal_code  451 arch/ia64/kernel/smpboot.c 	efi_map_pal_code();
efi_map_pal_code 1039 include/linux/efi.h extern void efi_map_pal_code (void);