Symbol: WSTATE_K64
usr/src/psm/stand/cpr/sparcv9/sun4u/machdep.c
98
wst64 = WSTATE(WSTATE_U32, WSTATE_K64);
usr/src/uts/sparc/v9/sys/privregs.h
556
#define WSTATE_KERN WSTATE(WSTATE_U32, WSTATE_K64)
usr/src/uts/sun4u/sys/machthread.h
213
wrpr scr1, WSTATE_K64, %wstate; \