Searched refs:SPCSTATE_RUNNING (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/ | ||
H A D | sysproxy.c | 318 #define SPCSTATE_RUNNING 1 macro 1887 spc->spc_state = SPCSTATE_RUNNING; |
Completed in 28 milliseconds