From 8b170bb52793ca8e89f4d96f3b9bc268bcf4defc Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Fri, 17 Nov 2017 19:23:54 +0100
Subject: [PATCH] enable interrupts during busy waiting

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

diff --git a/include/hermit/spinlock.h b/include/hermit/spinlock.h
index cd44b1116..81067b1c2 100644
--- a/include/hermit/spinlock.h
+++ b/include/hermit/spinlock.h
@@ -186,7 +186,9 @@ inline static int spinlock_irqsave_lock(spinlock_irqsave_t* s) {
 
 	ticket = atomic_int64_inc(&s->queue);
 	while (atomic_int64_read(&s->dequeue) != ticket) {
+		irq_nested_enable(flags);
 		PAUSE;
+		irq_nested_disable();
 	}
 
 	s->coreid = CORE_ID;