Searched refs:pal_addr (Results 1 – 1 of 1) sorted by relevance
33 unsigned long pal_addr) __noreturn;86 void *pal_addr = efi_get_pal_addr(); in ia64_machine_kexec() local133 GRANULEROUNDDOWN((unsigned long) pal_addr)); in ia64_machine_kexec()