Searched refs:archNodeState (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/model/
H A Dstatedata.h20 NODE_STATE_BEGIN(archNodeState)
24 NODE_STATE_END(archNodeState); variable
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/model/
H A Dstatedata.h32 NODE_STATE_BEGIN(archNodeState)
36 NODE_STATE_END(archNodeState); variable
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/model/
H A Dstatedata.h35 NODE_STATE_BEGIN(archNodeState)
57 NODE_STATE_END(archNodeState); variable

Completed in 87 milliseconds