path: root/riscv/insns/remu.h

RC = sext32(uint32_t(RA) % uint32_t(RB));