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

/seL4-test-master/kernel/include/object/
H A Dtcb.h203 exception_t invokeTCB_ThreadControl(tcb_t *target, cte_t *slot, cptr_t faultep,
/seL4-test-master/kernel/src/object/
H A Dtcb.c1139 return invokeTCB_ThreadControl(
1184 return invokeTCB_ThreadControl(
1228 return invokeTCB_ThreadControl(
1365 return invokeTCB_ThreadControl(
1422 return invokeTCB_ThreadControl(
1538 return invokeTCB_ThreadControl(
1752 exception_t invokeTCB_ThreadControl(tcb_t *target, cte_t *slot, function

Completed in 32 milliseconds