thread_control_caps_update_ipc_buffer (reference) in projects: seL4-master

Searched refs:thread_control_caps_update_ipc_buffer (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/object/
A D	tcb.h	`155 thread_control_caps_update_ipc_buffer = 0x1, enumerator`
/seL4-master/src/object/
A D	tcb.c	`1134 thread_control_caps_update_ipc_buffer); in decodeTCBConfigure() 1421 bufferSlot, thread_control_caps_update_ipc_buffer); in decodeSetIPCBuffer() 1729 if (updateFlags & thread_control_caps_update_ipc_buffer) { in invokeTCB_ThreadControlCaps()`

Completed in 10 milliseconds