139 		printf("[FAIL]\tgetpid() failed to preseve regs\n");  in test_sys32_regs()
142 		printf("[OK]\tgetpid() preserves regs\n");  in test_sys32_regs()
154 		printf("[FAIL]\tkill(getpid(), SIGUSR1) failed to preseve regs\n");  in test_sys32_regs()
157 		printf("[OK]\tkill(getpid(), SIGUSR1) preserves regs\n");  in test_sys32_regs()
164 	printf("[RUN]\tptrace-induced syscall restart\n");  in test_ptrace_syscall_restart()
173 		printf("\tChild will make one syscall\n");  in test_ptrace_syscall_restart()
188 	printf("[RUN]\tSYSEMU\n");  in test_ptrace_syscall_restart()
200 …printf("[FAIL]\tInitial args are wrong (nr=%lu, args=%lu %lu %lu %lu %lu %lu)\n", (unsigned long)r…  in test_ptrace_syscall_restart()
203 		printf("[OK]\tInitial nr and args are correct\n");  in test_ptrace_syscall_restart()
206 	printf("[RUN]\tRestart the syscall (ip = 0x%lx)\n",  in test_ptrace_syscall_restart()
231 …printf("[FAIL]\tRestart nr or args are wrong (nr=%lu, args=%lu %lu %lu %lu %lu %lu)\n", (unsigned …  in test_ptrace_syscall_restart()
234 		printf("[OK]\tRestarted nr and args are correct\n");  in test_ptrace_syscall_restart()
237 	printf("[RUN]\tChange nr and args and restart the syscall (ip = 0x%lx)\n",  in test_ptrace_syscall_restart()
262 …printf("[FAIL]\tRestart nr or args are wrong (nr=%lu, args=%lu %lu %lu %lu %lu %lu)\n", (unsigned …  in test_ptrace_syscall_restart()
265 		printf("[OK]\tReplacement nr and args are correct\n");  in test_ptrace_syscall_restart()
273 		printf("[FAIL]\tChild failed\n");  in test_ptrace_syscall_restart()
276 		printf("[OK]\tChild exited cleanly\n");  in test_ptrace_syscall_restart()
282 	printf("[RUN]\tCheck int80 return regs\n");  in main()
287 	printf("[RUN]\tCheck AT_SYSINFO return regs\n");  in main()