Searched refs:reset_psw (Results 1 – 1 of 1) sorted by relevance
18 static uint64_t *reset_psw = 0, save_psw, ipl_continue; variable22 *reset_psw = psw; in write_reset_psw()60 save_psw = *reset_psw; in jump_to_IPL_code()64 debug_print_int("set IPL addr to", address ?: *reset_psw & PSW_MASK_SHORT_ADDR); in jump_to_IPL_code()94 if (*reset_psw & RESET_PSW_MASK) { in jump_to_low_kernel()