T_LOWERPL
case T_LOWERPL: /* lower-privilege transfer */
case T_LOWERPL:
trapnum == T_LOWERPL || trapnum == T_TAKENBR ||
case T_LOWERPL | T_USER: