diff --git a/hermit/kernel/tasks.c b/hermit/kernel/tasks.c
index fec1166c1..66b103de1 100644
--- a/hermit/kernel/tasks.c
+++ b/hermit/kernel/tasks.c
@@ -199,7 +199,8 @@ void check_scheduling(void)
 {
 	if (!is_irq_enabled())
 		return;
-	if (msb(readyqueues[CORE_ID].prio_bitmap) > per_core(current_task)->prio)
+
+	if (get_highest_priority() > per_core(current_task)->prio)
 		reschedule();
 }