require_rv64;
require_extension(EXT_ZPN);
WRITE_RD((sreg_t)P_SW(RS1, 1) * P_SW(RS2, 1));