Searched refs:caller (Results 1 - 13 of 13) sorted by relevance
/seL4-test-master/projects/seL4_libs/libsel4debug/include/sel4debug/ |
H A D | instrumentation.h | 22 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 D | trace.c | 31 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 D | backtrace.c | 44 * 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 D | fastpath.c | 133 /* 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 D | ipc.tex | 188 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 D | objects.tex | 157 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 D | threads.tex | 220 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 D | api.tex | 98 functionality: if this is \texttt{true}, the caller should not attempt to re-use \texttt{bp\_num}
|
H A D | cspace.tex | 67 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 D | syscall_cp.s | 21 #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 D | syscall.s | 7 # code, respectively), and optimizes for size/simplicity in the caller.
|
/seL4-test-master/kernel/src/api/ |
H A D | syscall.c | 483 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 D | capdl.c | 281 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