WRITE_REG( _insn->rd(), value ); // XXX TODO: replace properly
}
+void (sv_proc_t::WRITE_REG)(reg_t reg, uint64_t value)
+{
+ WRITE_REG( reg, value ); // XXX TODO: replace properly
+ //STATE.XPR.write(reg, value);
+}
+
/*
void (sv_proc_t::WRITE_RD)(int_fast64_t value)
{
#undef RVC_RS2
#undef RVC_RS1S
#undef RVC_RS2S
+//#undef WRITE_REG
#undef WRITE_FRD
#undef WRITE_RD
#undef RVC_SP
//void (WRITE_RD)(int_fast64_t value); // XXX TODO investigate
//void (WRITE_RD)(uint_fast64_t value); // XXX TODO investigate
void (WRITE_RD)(uint64_t value); // XXX TODO investigate
+ void (WRITE_REG)(reg_t reg, uint64_t value);
void (WRITE_FRD)(freg_t value);
void (WRITE_FRD)(float64_t value);
void (WRITE_FRD)(float32_t value);