93 	int pidx;  in __handle_error()  local
97 		for (pidx = 0; pidx < num_processes; ++pidx)  in __handle_error()
98 			kill(procs[pidx].cpid, 15);  in __handle_error()
238 	int pidx;  in main()  local
293 	pidx = rand() % num_processes;  in main()
294 	pid = procs[pidx].cpid;  in main()
297 	validate(get_cs_cookie(0) == get_cs_cookie(procs[pidx].thr_tids[0]));  in main()
306 	validate(get_cs_cookie(pid) == get_cs_cookie(procs[pidx].thr_tids[0]));  in main()
316 	validate(get_cs_cookie(pid) != get_cs_cookie(procs[pidx].thr_tids[0]));  in main()
319 	       procs[pidx].thr_tids[0], getpid());  in main()
320 	if (_prctl(PR_SCHED_CORE, PR_SCHED_CORE_SHARE_FROM, procs[pidx].thr_tids[0],  in main()
325 	validate(get_cs_cookie(0) == get_cs_cookie(procs[pidx].thr_tids[0]));  in main()
326 	validate(get_cs_cookie(pid) != get_cs_cookie(procs[pidx].thr_tids[0]));  in main()
335 	validate(get_cs_cookie(pid) == get_cs_cookie(procs[pidx].thr_tids[0]));  in main()
355 	for (pidx = 0; pidx < num_processes; ++pidx)  in main()
356 		kill(procs[pidx].cpid, 15);  in main()