WSTATE_USER64
mpcb->mpcb_wstate != WSTATE_USER64) {
mpcb->mpcb_wstate = WSTATE_USER64;
wstate = WSTATE_USER64;