From 2ad02a00766dedd6fd146aab0a2930c73a603256 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Wed, 4 Jun 2025 11:00:17 +0200 Subject: [PATCH] remove unnecessary cast prio_t is defined as word_t which is unsigned long on all platforms. Signed-off-by: Gerwin Klein --- src/object/schedcontext.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/object/schedcontext.c b/src/object/schedcontext.c index ac9ce4a3c..d7b475eed 100644 --- a/src/object/schedcontext.c +++ b/src/object/schedcontext.c @@ -251,7 +251,7 @@ static exception_t decodeSchedContext_YieldTo(sched_context_t *sc, bool_t call) if (tcb->tcbPriority > NODE_STATE(ksCurThread)->tcbMCP) { userError("SchedContext_YieldTo: insufficient mcp (%lu) to yield to a thread with prio (%lu)", - (unsigned long) NODE_STATE(ksCurThread)->tcbMCP, (unsigned long) tcb->tcbPriority); + NODE_STATE(ksCurThread)->tcbMCP, tcb->tcbPriority); current_syscall_error.type = seL4_IllegalOperation; return EXCEPTION_SYSCALL_ERROR; }