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);