Home
last modified time | relevance | path

Searched refs:caller (Results 1 – 11 of 11) sorted by relevance

/seL4-master/src/fastpath/
A Dfastpath.c236 tcb_t *caller; in fastpath_reply_recv() local
304 caller = reply_ptr->replyTCB; in fastpath_reply_recv()
314 caller = TCB_PTR(cap_reply_cap_get_capTCBPtr(callerCap)); in fastpath_reply_recv()
332 newVTable = TCB_PTR_CTE_PTR(caller, tcbVTable)->cap; in fastpath_reply_recv()
364 if (unlikely(!isHighestPrio(dom, caller->tcbPriority))) { in fastpath_reply_recv()
381 if (unlikely(caller->tcbSchedContext != NULL)) { in fastpath_reply_recv()
413 thread_state_ptr_set_replyObject_np(&caller->tcbState, 0); in fastpath_reply_recv()
455 caller->tcbSchedContext = sc; in fastpath_reply_recv()
456 sc->scTcb = caller; in fastpath_reply_recv()
483 thread_state_ptr_set_tsType_np(&caller->tcbState, in fastpath_reply_recv()
[all …]
/seL4-master/manual/parts/
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
A Dthreads.tex227 scheduling context will be returned to the caller. If the reply cap is revoked, and the callee
228 holds the scheduling context, the scheduling context will be returned to the caller. However, if in
523 The caller is expected to select an API-ID that corresponds to
527 register to provide single-stepping functionality. If the caller's hardware platform requires the
533 If \texttt{bp\_was\_consumed} is \texttt{true}, the caller should not
535 the caller has disabled single-stepping and released that register, via a subsequent
621 The caller must possess a \obj{Domain} cap and the thread's \obj{TCB} cap.
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
A Dapi.tex115 functionality: if this is \texttt{true}, the caller should not attempt to re-use \texttt{bp\_num}
A Dcspace.tex67 amount of untyped memory (see \autoref{sec:object_sizes}). The caller
315 address refers to the specific slot in the caller's CSpace that
/seL4-master/src/api/
A Dsyscall.c478 tcb_t *caller; in handleReply() local
483 caller = TCB_PTR(cap_reply_cap_get_capTCBPtr(callerCap)); in handleReply()
486 assert(caller != NODE_STATE(ksCurThread)); in handleReply()
487 doReplyTransfer(NODE_STATE(ksCurThread), caller, callerSlot, in handleReply()
/seL4-master/src/machine/
A Dcapdl.c284 tcb_t *caller = TCB_PTR(cap_thread_cap_get_capTCBPtr(TCB_PTR_CTE_PTR(tcb, tcbCaller)->cap)); in obj_tcb_print_slots() local
285 printf("caller_slot: %p_tcb\n", caller); in obj_tcb_print_slots()
/seL4-master/tools/
A Dinternal.cmake61 # caller, that we don't add an additional /, as this will screw up file sorting
A Dhelpers.cmake61 # If EXACT_NAME then we copy the input file to the name given by the caller. Otherwise
/seL4-master/manual/
A DDoxyfile2261 # If the CALLER_GRAPH tag is set to YES then doxygen will generate a caller
2265 # So in most cases it will be better to enable caller graphs for selected
2266 # functions only using the \callergraph command. Disabling a caller graph can be

Completed in 39 milliseconds