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

TCB_SetSchedParams: Simplify bind/unbind check

Browse Source 
We no longer need to check this as the previous commit changed
decodeSetSchedParams to only pass the thread_control_sched_update_sc
flag if these conditions are true.

Signed-off-by: Alwin Joshy <joshyalwin@gmail.com>
This commit is contained in:
Alwin Joshy
2024-09-09 13:25:06 +10:00
committed by Gerwin Klein
parent 3108ea86d1
commit 4ec62c89d5
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/object/tcb.c
View File

@@ -1877,9 +1877,9 @@ exception_t invokeTCB_ThreadControlSched(tcb_t *target, cte_t *slot,
}
if (updateFlags & thread_control_sched_update_sc) {
if (sc != NULL && sc != target->tcbSchedContext) {
if (sc != NULL) {
schedContext_bindTCB(sc, target);
} else if (sc == NULL && target->tcbSchedContext != NULL) {
} else if (sc == NULL) {
schedContext_unbindTCB(target->tcbSchedContext);
}
}