RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

remove unnecessary cast

Browse Source 
prio_t is defined as word_t which is unsigned long on all platforms.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein
2025-06-04 11:00:17 +02:00
parent 90dafb2e71
commit 2ad02a0076
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/object/schedcontext.c
View File

@@ -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;
}