Searched refs:get_cs_cookie (Results 1 – 1 of 1) sorted by relevance
206 get_cs_cookie(getpid())); in disp_processes()296 validate(get_cs_cookie(0) == get_cs_cookie(pid)); in main()297 validate(get_cs_cookie(0) == get_cs_cookie(procs[pidx].thr_tids[0])); in main()304 validate(get_cs_cookie(0) != get_cs_cookie(pid)); in main()306 validate(get_cs_cookie(pid) == get_cs_cookie(procs[pidx].thr_tids[0])); in main()314 validate(get_cs_cookie(0) == get_cs_cookie(pid)); in main()316 validate(get_cs_cookie(pid) != get_cs_cookie(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()333 validate(get_cs_cookie(0) == get_cs_cookie(pid)); in main()[all …]