#include "syscalls.h"

syscall(sched_get_priority_max,sched_get_priority_max)
