T_HIGHERPL
case T_HIGHERPL: /* higher-privilege transfer */
case T_HIGHERPL:
if (trapnum <= T_EXCEPTION || trapnum == T_HIGHERPL ||
case T_HIGHERPL | T_USER: