46 static int get_different_priority(int scheduler);
58 	int scheduler;  in get_different_scheduler()  local
61 	scheduler = sched_getscheduler(0);  in get_different_scheduler()
63 		if (schedulers[i] == scheduler)  in get_different_scheduler()
67 	    "Unknown current scheduler %d", scheduler);  in get_different_scheduler()
69 	/* new scheduler */  in get_different_scheduler()
77 get_different_priority(int scheduler)  in get_different_priority()  argument
82 	max = sched_get_priority_max(scheduler);  in get_different_priority()
83 	min = sched_get_priority_min(scheduler);  in get_different_priority()
104 	    "Tests posix_spawn with scheduler attributes");  in ATF_TC_HEAD()
109 	int pid, scheduler, child_scheduler, priority, status, err, pfd[2];  in ATF_TC_BODY()  local
126 	scheduler = get_different_scheduler();  in ATF_TC_BODY()
127 	priority = get_different_priority(scheduler);  in ATF_TC_BODY()
138 	posix_spawnattr_setschedpolicy(&attr, scheduler);  in ATF_TC_BODY()
148 	ATF_REQUIRE_MSG(scheduler == child_scheduler,  in ATF_TC_BODY()
149 	    "scheduler = %d, child_scheduler = %d, pid %d, errno %d",  in ATF_TC_BODY()
150 	    scheduler, child_scheduler, pid, errno);  in ATF_TC_BODY()