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

/seL4-l4v-10.1.1/seL4/include/object/
H A Dtcb.h113 thread_control_update_ipc_buffer = 0x2, enumerator in enum:thread_control_flag
/seL4-l4v-10.1.1/seL4/src/object/
H A Dtcb.c1019 thread_control_update_ipc_buffer);
1185 bufferSlot, thread_control_update_ipc_buffer);
1444 if (updateFlags & thread_control_update_ipc_buffer) {

Completed in 96 milliseconds