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