Searched refs:wst32 (Results 1 – 1 of 1) sorted by relevance
70 uint16_t wst32, wst64; in cb_check_machdep() local97 wst32 = WSTATE(WSTATE_U32, WSTATE_K32); in cb_check_machdep()99 if (mdinfo.kwstate != wst32 && mdinfo.kwstate != wst64) { in cb_check_machdep()100 prom_printf(fmt, "wstate", mdinfo.kwstate, wst32, wst64); in cb_check_machdep()