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;