seL4/include
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
..
32/mode replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
64/mode replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
api Enabled IPC debug features under new config 2020-04-06 14:21:46 +10:00
arch riscv: DONT_TRANSLATE modifies_sip 2020-04-17 23:47:34 +10:00
benchmark replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
drivers hifive: Expose seL4_IRQControl_GetTrigger API 2020-04-17 17:55:55 +10:00
fastpath replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
kernel introduce isStopped and change isBlocked 2020-05-06 15:49:33 +10:00
machine userError string written to IPC buffer 2020-04-06 12:57:04 +10:00
model replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
object reflect function split in thread_control_flag 2020-04-27 11:44:00 +10:00
plat replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
smp replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
api.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
assert.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
basic_types.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
bootinfo.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
compound_types.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
config.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
linker.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
machine.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
object.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
stdarg.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
stdint.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
string.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
types.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
util.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00