portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

mcs: use sc_active in commitTime

Browse source 
Signed-off-by: Michael McInerney <michael.mcinerney@proofcraft.systems>
This commit is contained in:
Michael McInerney 2024-10-04 15:21:35 +09:30 committed by Gerwin Klein
parent 8f88c958fc
commit 7aac8a3053
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
include/kernel/thread.h
View file

@ -123,7 +123,7 @@ static inline bool_t isCurDomainExpired(void)
static inline void commitTime(void)
{
if (likely(NODE_STATE(ksCurSC)->scRefillMax && (NODE_STATE(ksCurSC) != NODE_STATE(ksIdleSC)))) {
if (likely(sc_active(NODE_STATE(ksCurSC)) && (NODE_STATE(ksCurSC) != NODE_STATE(ksIdleSC)))) {
if (likely(NODE_STATE(ksConsumed) > 0)) {
/* if this function is called the head refil must be sufficient to
* charge ksConsumed */