Symbol: db_print_riscv_reg