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