riscv/insns/dmfc0.h

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