CPUPF_USERXSTATE
KASSERT((curcpu()->ci_pflags & CPUPF_USERXSTATE) == 0);
KASSERT(ci->ci_pflags & CPUPF_USERXSTATE);
ci->ci_pflags &= ~CPUPF_USERXSTATE;
if (ci->ci_pflags & CPUPF_USERXSTATE) {
ci->ci_pflags &= ~CPUPF_USERXSTATE;
if (curcpu()->ci_pflags & CPUPF_USERXSTATE) {
curcpu()->ci_pflags |= CPUPF_USERXSTATE;
if (curcpu()->ci_pflags & CPUPF_USERXSTATE)
if (curcpu()->ci_pflags & CPUPF_USERXSTATE) {
curcpu()->ci_pflags &= ~CPUPF_USERXSTATE;
curcpu()->ci_pflags |= CPUPF_USERXSTATE;
if (p1 != &proc0 && (ci->ci_pflags & CPUPF_USERXSTATE))
if (ci->ci_pflags & CPUPF_USERXSTATE) {
ci->ci_pflags &= ~CPUPF_USERXSTATE;