From 92fe116dc73219c9e2d2a40d8807f755a477bfc0 Mon Sep 17 00:00:00 2001
From: Kevin O'Connor <kevin@koconnor.net>
Date: Mon, 19 Apr 2021 22:50:30 -0400
Subject: [PATCH] sched: Call irq_poll() at start of run_tasks() loop

On architectures that poll for irqs, check for any pending irqs prior
to checking if tasks are idle.

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
---
 src/sched.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sched.c b/src/sched.c
index f8ddb5d7..cede4755 100644
--- a/src/sched.c
+++ b/src/sched.c
@@ -226,6 +226,7 @@ run_tasks(void)
     uint32_t start = timer_read_time();
     for (;;) {
         // Check if can sleep
+        irq_poll();
         if (tasks_status != TS_REQUESTED) {
             start -= timer_read_time();
             irq_disable();