text: require_privilege(get_field(STATE.mstatus, MSTATUS_TSR) ? PRV_M : PRV_S);
  set_pc_and_serialize(p->get_state()->sepc);
  reg_t s = STATE.mstatus;
  reg_t prev_prv = get_field(s, MSTATUS_SPP);
  s = set_field(s, MSTATUS_SIE, get_field(s, MSTATUS_SPIE));
  s = set_field(s, MSTATUS_SPIE, 1);
  s = set_field(s, MSTATUS_SPP, PRV_U);
  p->set_privilege(prev_prv);
  p->set_csr(CSR_MSTATUS, s);
  