path: root/riscv/insns/mulh.h

RC = sext32((sreg_t(RA) * sreg_t(RB)) >> 32);