Searched refs:WSTATE_K32 (Results 1 – 2 of 2) sorted by relevance
98 wst32 = WSTATE(WSTATE_U32, WSTATE_K32); in cb_check_machdep()
545 #define WSTATE_K32 5 /* priv 32b stack */ macro