#include "syscalls.h"

syscall(sched_get_priority_min,sched_get_priority_min)