#include "syslib.h"
int sys_schedule(endpoint_t proc_ep,
int priority,
int quantum,
int cpu)
{
message m;
m.m_lsys_krn_schedule.endpoint = proc_ep;
m.m_lsys_krn_schedule.priority = priority;
m.m_lsys_krn_schedule.quantum = quantum;
m.m_lsys_krn_schedule.cpu = cpu;
return(_kernel_call(SYS_SCHEDULE, &m));
}