From 11b665d02d8e2593fb311ce9d521a70638f66567 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Tue, 23 May 2017 19:12:45 +0200
Subject: [PATCH] remove scheduling check within a irqsave lock

---
 include/hermit/spinlock.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/include/hermit/spinlock.h b/include/hermit/spinlock.h
index 19917df6a..878c5b6be 100644
--- a/include/hermit/spinlock.h
+++ b/include/hermit/spinlock.h
@@ -195,8 +195,7 @@ inline static int spinlock_irqsave_lock(spinlock_irqsave_t* s) {
 
 	ticket = atomic_int32_inc(&s->queue);
 	while (atomic_int32_read(&s->dequeue) != ticket) {
-		//PAUSE;
-		check_scheduling();
+		PAUSE;
 	}
 
 	s->coreid = CORE_ID;