Symbol: pt_regs_nr