1 /* 2 #progos: linux 3 */ 4 5 #include <sched.h> 6 #include <stdio.h> 7 #include <stdlib.h> 8 #include <unistd.h> 9 main(void)10 int main (void) 11 { 12 if (sched_getscheduler (getpid ()) != SCHED_OTHER) 13 abort (); 14 printf ("pass\n"); 15 exit (0); 16 } 17