MPS_INTTR_LEVEL
map->flags |= (MPS_INTTR_LEVEL << MPS_INTTR_SHIFT);
case MPS_INTTR_LEVEL:
case MPS_INTTR_LEVEL:
case MPS_INTTR_LEVEL:
case MPS_INTTR_LEVEL:
case MPS_INTTR_LEVEL:
e.int_flags = MPS_INT(MPS_INTPO_ACTLO, MPS_INTTR_LEVEL);
case MPS_INTTR_LEVEL:
case MPS_INTTR_LEVEL:
case MPS_INTTR_LEVEL:
case MPS_INTTR_LEVEL:
map->flags |= (MPS_INTTR_LEVEL << MPS_INTTR_SHIFT);
case MPS_INTTR_LEVEL: