Symbol: PT_REGS_R15