Searched refs:TCBCONFIGURE_ARGS (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/kernel/src/object/ | ||
H A D | tcb.c | 1041 #define TCBCONFIGURE_ARGS 3 macro 1043 #define TCBCONFIGURE_ARGS 4 macro 1045 if (length < TCBCONFIGURE_ARGS || rootCaps.excaprefs[0] == NULL |
Completed in 78 milliseconds