Searched refs:thread_control_update_space (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/object/
H A Dtcb.h114 thread_control_update_space = 0x4, enumerator in enum:thread_control_flag
/seL4-l4v-10.1.1/seL4/src/object/
H A Dtcb.c1018 bufferSlot, thread_control_update_space |
1262 0, cap_null_cap_new(), NULL, thread_control_update_space);
1404 if (updateFlags & thread_control_update_space) {
1416 if (updateFlags & thread_control_update_space) {
1430 if (updateFlags & thread_control_update_space) {

Completed in 35 milliseconds