efi_get_pal_addr  457 arch/ia64/kernel/efi.c 	void *pal_vaddr = efi_get_pal_addr ();
efi_get_pal_addr   85 arch/ia64/kernel/machine_kexec.c 	void *pal_addr = efi_get_pal_addr();
efi_get_pal_addr 1877 arch/ia64/kernel/mca.c 	pal_vaddr = efi_get_pal_addr();
efi_get_pal_addr 1038 include/linux/efi.h extern void *efi_get_pal_addr (void);