MPS_INT
int trigger = MPS_INT(MPS_INTPO_DEF, MPS_INTTR_DEF);
e.int_flags = MPS_INT(MPS_INTPO_ACTHI, MPS_INTTR_EDGE);
e.int_flags = MPS_INT(MPS_INTPO_ACTLO, MPS_INTTR_LEVEL);
e.int_flags = MPS_INT(MPS_INTPO_DEF, MPS_INTTR_DEF);