Searched refs:efi_get_pal_addr (Results 1 – 4 of 4) sorted by relevance
85 void *pal_addr = efi_get_pal_addr(); in ia64_machine_kexec()
352 efi_get_pal_addr (void) in efi_get_pal_addr() function457 void *pal_vaddr = efi_get_pal_addr (); in efi_map_pal_code()
1877 pal_vaddr = efi_get_pal_addr(); in ia64_mca_cpu_init()
1038 extern void *efi_get_pal_addr (void);
