path: root/riscv/insns/mulhu.h

require64;
RD = (uint128_t(RS1) * uint128_t(RS2)) >> 64;