processor.risc_v.trace.risc_v_dv ≡

inline 
void
print_trace(
    auto hid,
    auto pc,
    auto instr,
    Decoded decoded,
    optional<int32> value
    ) §source