riscv/insns/sret.h

   1 require_privilege(PRV_S);
   2 switch (get_field(STATE.mstatus, MSTATUS_PRV))
   3 {
   4   case PRV_S: set_pc(p->get_state()->sepc); break;
   5   case PRV_M: set_pc(p->get_state()->mepc); break;
   6   default: abort();
   7 }
   8 p->pop_privilege_stack();