riscv/insns/mfc0.h

   1 require_supervisor;
   2
   3 switch(insn.rtype.rs)
   4 {
   5   case 0:
   6     RT = sext32(sr);
   7     break;
   8   case 1:
   9     RT = sext32(epc);
  10     break;
  11   case 2:
  12     RT = sext32(badvaddr);
  13     break;
  14   case 3:
  15     RT = sext32(ebase);
  16     break;
  17   default:
  18     RT = -1;
  19 }