pal_addr           32 arch/ia64/kernel/machine_kexec.c 					unsigned long pal_addr) __noreturn;
pal_addr           85 arch/ia64/kernel/machine_kexec.c 	void *pal_addr = efi_get_pal_addr();
pal_addr          132 arch/ia64/kernel/machine_kexec.c 		     GRANULEROUNDDOWN((unsigned long) pal_addr));