From: Antti Kantee <pooka@iki.fi>
Date: Mon, 20 Apr 2015 20:53:57 +0000 (+0000)
Subject: use bmk_cpu_sched_current() from core
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=a8b89d531b9be0dbea2cc4ac0d4eedb2b9da6103;p=people%2Fliuw%2Frumprun.git

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 773b258..1a27408 100644
--- 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
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 007a116..fd3dc36 100644
--- 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