default_sched.h

#ifndef __KERN_SCHEDULE_SCHED_RR_H__
#define __KERN_SCHEDULE_SCHED_RR_H__

#include <sched.h>

extern struct sched_class default_sched_class;

#endif /* !__KERN_SCHEDULE_SCHED_RR_H__ */