ptrace: change signature of sys_ptrace() and friends