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