portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/kernel
History
Curtis Millar d5d54a0d55 introduce isStopped and change isBlocked 
This changes the semantics if `isBlocked` to not include the 'inactive'
state when it returns true. The old semantics for isBlocked are provided
by `isStopped`.

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
2020-05-06 15:49:33 +10:00
..
boot.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
cspace.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
faulthandler.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
sporadic.h mcs: Compare with time in assigned core 2020-05-04 11:58:42 +10:00
stack.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
thread.h introduce isStopped and change isBlocked 2020-05-06 15:49:33 +10:00
traps.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
vspace.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00