]> xenbits.xensource.com Git - people/liuw/rumprun.git/commitdiff
remove now-empty <mini-os/sched.h>
authorAntti Kantee <pooka@iki.fi>
Tue, 21 Apr 2015 11:46:52 +0000 (11:46 +0000)
committerAntti Kantee <pooka@iki.fi>
Tue, 21 Apr 2015 11:46:52 +0000 (11:46 +0000)
platform/xen/xen/arch/x86/sched.c
platform/xen/xen/arch/x86/traps.c
platform/xen/xen/include/mini-os/sched.h [deleted file]
platform/xen/xen/include/mini-os/wait.h
platform/xen/xen/include/mini-os/x86/x86_32/hypercall-x86_32.h
platform/xen/xen/include/mini-os/xenbus.h
platform/xen/xen/kernel.c
platform/xen/xen/pcifront.c
platform/xen/xen/xenbus/xenbus.c

index 15bab5455451988ff90489c2c01522bb23360d22..012551d515536b119d4da0e16dbf7813f48c9b6b 100644 (file)
@@ -41,7 +41,6 @@
 #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>
index 83cc1ccb82ffacea9edd02f685d47d854c2bae71..08269df2700b7d26ffa20c22cc1009124e7577ce 100644 (file)
@@ -3,7 +3,6 @@
 #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>
 
diff --git a/platform/xen/xen/include/mini-os/sched.h b/platform/xen/xen/include/mini-os/sched.h
deleted file mode 100644 (file)
index f7e9ecf..0000000
+++ /dev/null
@@ -1,4 +0,0 @@
-#ifndef __MINIOS_SCHED_H__
-#define __MINIOS_SCHED_H__
-
-#endif /* __MINIOS_SCHED_H__ */
index ef214e9772187b1caa7c67a5c8ddcfae08961d80..6c567fa28287b6630a8532f81c75cb42b4037ed8 100644 (file)
@@ -1,7 +1,6 @@
 #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>
index 789a834428d2abd0cae046d19fe3167850595205..72c525910e88e208eb8170887629ac489f8c0142 100644 (file)
@@ -31,8 +31,8 @@
 #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
index 0e45d47b7eeea144857adf968ffc88495df0afdc..edced306cc730d002d8f3ecbc516bf1279a69e22 100644 (file)
@@ -2,7 +2,6 @@
 #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>
index c834c589cb8236980d52273ecf9d9b82ef6a7e04..3ad7d0391dc375a0bb89d0c000ad10830663351c 100644 (file)
@@ -34,7 +34,6 @@
 #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>
index 4f29c8977f05d082255264c7a0b9248d81a3b96d..eb0831b0dff778cbd8c528809c6f397ad929334e 100644 (file)
@@ -9,7 +9,6 @@
 #include <mini-os/gnttab.h>
 #include <mini-os/wait.h>
 #include <mini-os/pcifront.h>
-#include <mini-os/sched.h>
 
 #include <string.h>
 
index 700ae4d2c630851414f338124701bcb09af23acc..7cb955d85ea643782be6c95c0d6a1d98a6d2ddef 100644 (file)
@@ -20,7 +20,6 @@
 #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>