#ifndef	KERN_SCHED_PRIM_H
#define KERN_SCHED_PRIM_H

#include <mach/boolean.h>
#include <mach/machine/vm_types.h>
#include <mach/kern_return.h>
#include <kern/clock.h>
#include <kern/kern_types.h>
#include <kern/thread.h>
#include <sys/cdefs.h>

//#include <HURD/kern/sched_prim.h>

#endif