1/* 2#notarget: cris*-*-elf 3*/ 4 5#include <sched.h> 6#include <stdio.h> 7#include <stdlib.h> 8int main (void) 9{ 10 int Min = sched_get_priority_min (SCHED_OTHER); 11 int Max = sched_get_priority_max (SCHED_OTHER); 12 if (Min != 0 || Max != 0) 13 { 14 fprintf (stderr, "min: %d, max: %d\n", Min, Max); 15 abort (); 16 } 17 printf ("pass\n"); 18 exit (0); 19} 20