Searched refs:caller (Results 1 - 13 of 13) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4debug/include/sel4debug/
H A Dinstrumentation.h22 void __cyg_profile_func_enter(void *func, void *caller)
25 void __cyg_profile_func_exit(void *func, void *caller)
/seL4-test-master/projects/seL4_libs/libsel4debug/src/
H A Dtrace.c31 void __cyg_profile_func_enter(void *func, void *caller) argument
33 debug_safe_printf("ENTER: %p called from %p\n", func, caller);
36 void __cyg_profile_func_exit(void *func, void *caller) argument
38 debug_safe_printf("EXIT: %p returning to %p\n", func, caller);
H A Dbacktrace.c44 * into the caller's buffer.
56 void __cyg_profile_func_enter(void *func, void *caller) argument
59 /* The caller doesn't have a valid IPC buffer. Assume it has not been
72 void __cyg_profile_func_exit(void *func, void *caller) argument
/seL4-test-master/kernel/src/fastpath/
H A Dfastpath.c133 /* Ensure the original caller is in the current domain and can be scheduled directly. */
200 /* Get dest caller slot */
240 tcb_t *caller; local
307 /* Determine who the caller is. */
308 caller = reply_ptr->replyTCB;
317 /* Determine who the caller is. */
318 caller = TCB_PTR(cap_reply_cap_get_capTCBPtr(callerCap));
321 /* ensure we are not single stepping the caller in ia32 */
323 if (unlikely(caller->tcbArch.tcbContext.breakpointState.single_step_enabled)) {
328 /* Check that the caller ha
[all...]
/seL4-test-master/kernel/manual/parts/
H A Dipc.tex188 the caller is attempting to send are looked up to ensure that they exist
234 normal IPC procedure happened, instead of returning directly to the caller,
239 \item If this is not the case, the caller thread is suspended as if
246 Then, the caller thread is blocked waiting for the reply.
249 A reply capability points directly to the caller thread and once the call has
252 the caller who would still be waiting for a reply.
270 if the caller thread is destroyed or modified in any way that would render
275 Once the reply capability has been invoked, the caller receives the message as if
285 In particular, it is guaranteed that the reply received by the caller comes from
H A Dobjects.tex157 If there are no other runnable threads with the same priority as the caller,
170 notification is pending, the caller will block until a message or
217 a reply message and wake up the caller. In non-MCS configurations, the
220 right to send a reply message and wake up the caller, meaning that the
H A Dthreads.tex220 scheduling context will be returned to the caller. If the reply cap is revoked, and the callee
221 holds the scheduling context, the scheduling context will be returned to the caller. However, if in
513 The caller is expected to select an API-ID that corresponds to
517 register to provide single-stepping functionality. If the caller's hardware platform requires the
523 If \texttt{bp\_was\_consumed} is \texttt{true}, the caller should not
525 the caller has disabled single-stepping and released that register, via a subsequent
611 The caller must possess a \obj{Domain} cap and the thread's \obj{TCB} cap.
H A Dapi.tex98 functionality: if this is \texttt{true}, the caller should not attempt to re-use \texttt{bp\_num}
H A Dcspace.tex67 amount of untyped memory (see \autoref{sec:object_sizes}). The caller
312 address refers to the specific slot in the caller's CSpace that
/seL4-test-master/projects/musllibc/src/thread/powerpc/
H A Dsyscall_cp.s21 #r1, r14-31: belong to the caller, must be saved and restored
24 #"a func cannot depend on that these regs have the values placed by the caller"
/seL4-test-master/projects/musllibc/src/internal/i386/
H A Dsyscall.s7 # code, respectively), and optimizes for size/simplicity in the caller.
/seL4-test-master/kernel/src/api/
H A Dsyscall.c483 tcb_t *caller; local
488 caller = TCB_PTR(cap_reply_cap_get_capTCBPtr(callerCap));
490 * "handleReply: caller must not be the current thread" */
491 assert(caller != NODE_STATE(ksCurThread));
492 doReplyTransfer(NODE_STATE(ksCurThread), caller, callerSlot, local
505 fail("handleReply: invalid caller cap");
/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
282 printf("caller_slot: %p_tcb\n", caller);

Completed in 108 milliseconds