Home
last modified time | relevance | path

Searched refs:efi_get_pal_addr (Results 1 – 4 of 4) sorted by relevance

/linux-2.6.39/arch/ia64/kernel/
Dmachine_kexec.c87 void *pal_addr = efi_get_pal_addr(); in ia64_machine_kexec()
Defi.c342 efi_get_pal_addr (void) in efi_get_pal_addr() function
447 void *pal_vaddr = efi_get_pal_addr (); in efi_map_pal_code()
Dmca.c1887 pal_vaddr = efi_get_pal_addr(); in ia64_mca_cpu_init()
/linux-2.6.39/include/linux/
Defi.h288 extern void *efi_get_pal_addr (void);