16 #include <sys/syscall.h>
59 	printf("[RUN]\tptrace-induced syscall restart\n");  in test_ptrace_syscall_restart()
77 		pid_t pid = getpid(), tid = syscall(SYS_gettid);  in test_ptrace_syscall_restart()
79 		printf("\tChild will make one syscall\n");  in test_ptrace_syscall_restart()
80 		syscall(SYS_tgkill, pid, tid, SIGSTOP);  in test_ptrace_syscall_restart()
82 		syscall(SYS_gettid, 10, 11, 12, 13, 14, 15);  in test_ptrace_syscall_restart()
100 	 * Ptrace trapped prior to executing the syscall, thus r3 still has  in test_ptrace_syscall_restart()
101 	 * the syscall number instead of the sys_gettid() result  in test_ptrace_syscall_restart()
119 	printf("[RUN]\tRestart the syscall (ip = 0x%lx)\n",  in test_ptrace_syscall_restart()
123 	 * Rewind to retry the same syscall again. This will basically test  in test_ptrace_syscall_restart()
154 	printf("[RUN]\tChange nr and args and restart the syscall (ip = 0x%lx)\n",  in test_ptrace_syscall_restart()
158 	 * Inject a new syscall (getpid) in the same place the previous  in test_ptrace_syscall_restart()
159 	 * syscall (gettid), rewind and re-execute.  in test_ptrace_syscall_restart()
180 	/* Check that ptrace stopped at the new syscall that was  in test_ptrace_syscall_restart()
182 	 * contain the arguments and not the syscall return value, for  in test_ptrace_syscall_restart()