Searched refs:ipl_continue (Results 1 – 1 of 1) sorted by relevance
18 static uint64_t *reset_psw = 0, save_psw, ipl_continue; variable27 __attribute__((noreturn)) void (*ipl)(void) = (void *)ipl_continue; in jump_to_IPL_addr()62 ipl_continue = address; in jump_to_IPL_code()