Symbol: dis_riscv_csr