Symbol: pt_regs___riscv