C_Binding

   #include <sched.h>

   int
   sched_get_priority_max (
               int   policy);