Symbol: WSTATE_USER64
usr/src/uts/sparc/v9/os/v9dep.c
834
mpcb->mpcb_wstate != WSTATE_USER64) {
usr/src/uts/sparc/v9/os/v9dep.c
839
mpcb->mpcb_wstate = WSTATE_USER64;
usr/src/uts/sun4/os/machdep.c
150
mpcb->mpcb_wstate = WSTATE_USER64;
usr/src/uts/sun4/os/machdep.c
223
wstate = WSTATE_USER64;