Searched defs:ARCH_NODE_STATE_ON_CORE (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/seL4/include/model/ | ||
H A D | statedata.h | 35 #define ARCH_NODE_STATE_ON_CORE(_state, _core) ksSMP[(_core)].cpu._state macro 55 #define ARCH_NODE_STATE_ON_CORE(_state, _core) _state macro |
Completed in 18 milliseconds