DECLARE_SCHEDULER
DECLARE_SCHEDULER(fourbsd_sched_selector, "4BSD", &sched_4bsd_instance);
DECLARE_SCHEDULER(ule_sched_selector, "ULE", &sched_ule_instance);