1 files changed, 1 insertions, 11 deletions
diff --git a/sys/kern/kern_sched.c b/sys/kern/kern_sched.c
index 35a1af7..4bbe5a0 100644
--- a/sys/kern/kern_sched.c
+++ b/sys/kern/kern_sched.c
@@ -241,18 +241,8 @@ sched_switch(struct trapframe *tf)
 void
 sched_enter(void)
 {
-    static int nenter = 0;
-
-    /*
-     * Enable interrupts for all processors and
-     * sync on first entry.
-     */
     md_inton();
-    if (nenter == 0) {
-        md_sync_all();
-        atomic_inc_int(&nenter);
-    }
-
+    md_sync_all();
     for (;;) {
         sched_oneshot(false);
         md_pause();