#include <sched.h>

    int
    sched_get_priority_min (
                int   policy);