From c1f58186cbb04c38c51dd5d5a3b37dd492f74b40 Mon Sep 17 00:00:00 2001
From: JulianHolzwarth <julian.holzwarth@fu-berlin.de>
Date: Wed, 3 Jul 2019 14:59:57 +0200
Subject: [PATCH] xtimer/xtimer.c: sched_switch instead of yield

because of pr #11759: not all boards check for is_in_irq when thread_yield_higher
---
 sys/xtimer/xtimer.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sys/xtimer/xtimer.c b/sys/xtimer/xtimer.c
index 16e035a021..e238707aa6 100644
--- a/sys/xtimer/xtimer.c
+++ b/sys/xtimer/xtimer.c
@@ -261,7 +261,7 @@ static void _mutex_timeout(void *arg)
         }
         sched_set_status(mt->thread, STATUS_PENDING);
         irq_restore(irqstate);
-        thread_yield_higher();
+        sched_switch(mt->thread->priority);
         return;
     }
     irq_restore(irqstate);