Searched refs:RESET_PSW (Results 1 – 1 of 1) sorted by relevance
16 #define RESET_PSW ((uint64_t)&jump_to_IPL_addr | RESET_PSW_MASK) macro61 write_reset_psw(RESET_PSW); in jump_to_IPL_code()