Searched defs:caller (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4debug/src/
H A Dtrace.c31 void __cyg_profile_func_enter(void *func, void *caller) argument
36 void __cyg_profile_func_exit(void *func, void *caller) argument
H A Dbacktrace.c56 void __cyg_profile_func_enter(void *func, void *caller) argument
72 void __cyg_profile_func_exit(void *func, void *caller) argument
/seL4-test-master/kernel/src/fastpath/
H A Dfastpath.c240 tcb_t *caller; local
[all...]
/seL4-test-master/kernel/src/machine/
H A Dcapdl.c281 tcb_t *caller = TCB_PTR(cap_thread_cap_get_capTCBPtr(TCB_PTR_CTE_PTR(tcb, tcbCaller)->cap)); local
/seL4-test-master/kernel/src/api/
H A Dsyscall.c483 tcb_t *caller; local
492 doReplyTransfer(NODE_STATE(ksCurThread), caller, callerSlot, local

Completed in 88 milliseconds