path: root/riscv/insns/vmts.h

require_vector;
demand(0 <= RS2 && RS2 < MAX_UTS, "ut not in range");
RD = UT_RS1(RS2);