#include <mini-os/mm.h>
#include <mini-os/types.h>
#include <mini-os/lib.h>
-#include <mini-os/sched.h>
#include <mini-os/semaphore.h>
#include <bmk-core/memalloc.h>
#include <mini-os/hypervisor.h>
#include <mini-os/mm.h>
#include <mini-os/lib.h>
-#include <mini-os/sched.h>
#include <mini-os/machine/traps.h>
+++ /dev/null
-#ifndef __MINIOS_SCHED_H__
-#define __MINIOS_SCHED_H__
-
-#endif /* __MINIOS_SCHED_H__ */
#ifndef __MINIOS_WAIT_H__
#define __MINIOS_WAIT_H__
-#include <mini-os/sched.h>
#include <mini-os/os.h>
#include <mini-os/waittypes.h>
#include <mini-os/time.h>
#define __HYPERCALL_X86_32_H__
#include <xen/xen.h>
-#include <xen/sched.h>
#include <xen/nmi.h>
+#include <xen/sched.h>
#include <mini-os/mm.h>
#define __STR(x) #x
#define MINIOS_XENBUS_H__
#include <xen/io/xenbus.h>
-#include <mini-os/sched.h>
#include <mini-os/waittypes.h>
#include <mini-os/queue.h>
#include <mini-os/spinlock.h>
#include <mini-os/time.h>
#include <mini-os/types.h>
#include <mini-os/lib.h>
-#include <mini-os/sched.h>
#include <mini-os/xenbus.h>
#include <mini-os/gnttab.h>
#include <mini-os/netfront.h>
#include <mini-os/gnttab.h>
#include <mini-os/wait.h>
#include <mini-os/pcifront.h>
-#include <mini-os/sched.h>
#include <string.h>
#include <mini-os/lib.h>
#include <mini-os/xenbus.h>
#include <mini-os/events.h>
-#include <mini-os/sched.h>
#include <mini-os/wait.h>
#include <xen/io/xs_wire.h>
#include <mini-os/spinlock.h>