Symbol: riscv_pt_entry_t