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

/seL4-master/include/object/
A D	tcb.h	186 exception_t invokeTCB_ThreadControlCaps(tcb_t *target, cte_t *slot,
/seL4-master/src/object/
A D	tcb.c	1126 return invokeTCB_ThreadControlCaps( in decodeTCBConfigure() 1254 return invokeTCB_ThreadControlCaps( in decodeSetTimeoutEndpoint() 1414 return invokeTCB_ThreadControlCaps( in decodeSetIPCBuffer() 1530 return invokeTCB_ThreadControlCaps( in decodeSetSpace() 1690 exception_t invokeTCB_ThreadControlCaps(tcb_t *target, cte_t *slot, in invokeTCB_ThreadControlCaps() function

Completed in 11 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023