From deb2b637605bf0beedb55ed5483f55af09ab41e9 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sat, 12 Aug 2023 13:30:47 +0200
Subject: sched: Add runq_lock helpers which check they are called at spl7

---
 kern/ast.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kern/ast.c')

diff --git a/kern/ast.c b/kern/ast.c
index d2289344..8c514b3c 100644
--- a/kern/ast.c
+++ b/kern/ast.c
@@ -203,7 +203,7 @@ ast_check(void)
 			/*
 			 *	Need to recheck and possibly update hint.
 			 */
-			simple_lock(&rq->lock);
+			runq_lock(rq);
 			q = rq->runq + rq->low;
 			if (rq->count > 0) {
 			    for (i = rq->low; i < NRQS; i++) {
@@ -213,7 +213,7 @@ ast_check(void)
 			    }
 			    rq->low = i;
 			}
-			simple_unlock(&rq->lock);
+			runq_unlock(rq);
 		    }
 
 		    if (rq->low <= thread->sched_pri) {
-- 
cgit v1.2.3