use bmk_cpu_sched_current() from core

diff --git a/platform/xen/xen/include/mini-os/sched.h b/platform/xen/xen/include/mini-os/sched.h
index 773b258a1b9603a9f18182494e71a6befda3e7fb..1a274088e35634e7a2d670356eb364c0a33c2c1f 100644 (file)
--- a/platform/xen/xen/include/mini-os/sched.h
+++ b/platform/xen/xen/include/mini-os/sched.h
@@ -3,8 +3,6 @@
 
 #include <mini-os/types.h>
 
-#include <mini-os/machine/sched.h>
-
 #include <bmk-core/sched.h>
 
 extern struct bmk_tcb *idle_tcb;

diff --git a/platform/xen/xen/include/mini-os/x86/sched.h b/platform/xen/xen/include/mini-os/x86/sched.h
deleted file mode 100644 (file)
index c870abe..0000000
--- a/platform/xen/xen/include/mini-os/x86/sched.h
+++ /dev/null
@@ -1,17 +0,0 @@
-
-#ifndef __ARCH_SCHED_H__
-#define __ARCH_SCHED_H__
-
-#include <mini-os/machine/limits.h>
-
-#include <bmk-core/sched.h>
-
-static inline struct bmk_thread *arch_sched_current(void)
-{
-    struct bmk_thread **current;
-
-    current = (void *)((unsigned long)&current & ~(__STACK_SIZE-1));
-    return *current;
-};
-
-#endif /* __ARCH_SCHED_H__ */

diff --git a/platform/xen/xen/sched.c b/platform/xen/xen/sched.c
index 007a116ccecb4277b03cd0fa2f558e96c77ac596..fd3dc363e4ee5e7d0841cca8b1aa1c840faa05f3 100644 (file)
--- a/platform/xen/xen/sched.c
+++ b/platform/xen/xen/sched.c
@@ -172,7 +172,7 @@ struct bmk_thread *
 bmk_sched_current(void)
 {
 
-       return arch_sched_current();
+       return bmk_cpu_sched_current();
 }
 
 void