std :: kernel::scheduler
#include <std/kernel/scheduler.h> source
#include <std/kernel/scheduler.h>
#define SCHED_MAX_PROCS 256