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

12

/seL4-l4v-10.1.1/seL4/src/fastpath/
H A Dfastpath.c128 /* Ensure the original caller is in the current domain and can be scheduled directly. */
167 /* Get dest caller slot */
197 tcb_t *caller; local
250 /* Determine who the caller is. */
251 caller = TCB_PTR(cap_reply_cap_get_capTCBPtr(callerCap));
253 /* ensure we are not single stepping the caller in ia32 */
255 if (caller->tcbArch.tcbContext.breakpointState.single_step_enabled) {
260 /* Check that the caller has not faulted, in which case a fault
262 fault_type = seL4_Fault_get_seL4_FaultType(caller->tcbFault);
268 newVTable = TCB_PTR_CTE_PTR(caller, tcbVTabl
[all...]
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Dcall_graph_utils.py120 caller: filter(lambda f: transitivelyCallsInterested(f, cg, fs_interested), cg_tc[caller]) \
121 for caller in cg_tc if transitivelyCallsInterested(caller, cg, fs_interested)}
134 #dict of number of transitively called functions to caller functions
/seL4-l4v-10.1.1/seL4/src/api/
H A Dsyscall.c346 tcb_t *caller; local
351 caller = TCB_PTR(cap_reply_cap_get_capTCBPtr(callerCap));
353 * "handleReply: caller must not be the current thread" */
354 assert(caller != NODE_STATE(ksCurThread));
355 doReplyTransfer(NODE_STATE(ksCurThread), caller, callerSlot); local
367 fail("handleReply: invalid caller cap");
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DFlagPrint.sml21 The function must actually be installed by the caller because
H A DTransform.sml199 zero if there is an error. The caller is supposed to call SetLastError and
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DfunCall.sml39 caller's ip | saved pc | 0
40 caller's fp | saved lr | 1
58 caller's sp callee's ip | saved pc |
74 (* If a temporary is an input, then read it from the stack where the caller sets *)
327 (* Pass by the caller the parameters to the callee *)
340 (* The callee obtains the arguments passed by the caller though the stack *)
356 (* Note that callee's IP equals to caller's SP, we use the IP here to load the arguments *)
360 (* Pass by the callee the results to the caller *)
385 (* The caller retreives the results passed by the callee though the stack *)
608 (* Link caller an
[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DfunCall.sml27 caller's ip | saved pc | 0
28 caller's fp | saved lr | 1
46 caller's sp callee's ip | saved pc |
62 (* If a temporary is an input, then read it from the stack where the caller sets *)
315 (* Pass by the caller the parameters to the callee *)
328 (* The callee obtains the arguments passed by the caller though the stack *)
344 (* Note that callee's IP equals to caller's SP, we use the IP here to load the arguments *)
348 (* Pass by the callee the results to the caller *)
373 (* The caller retreives the results passed by the callee though the stack *)
458 (* Link caller an
[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/
H A DfunCall.sml27 caller's ip | saved pc | 0
28 caller's fp | saved lr | 1
46 caller's sp callee's ip | saved pc |
62 (* If a temporary is an input, then read it from the stack where the caller sets *)
312 (* Pass by the caller the parameters to the callee *)
325 (* The callee obtains the arguments passed by the caller though the stack *)
341 (* Note that callee's IP equals to caller's SP, we use the IP here to load the arguments *)
345 (* Pass by the callee the results to the caller *)
370 (* The caller retreives the results passed by the callee though the stack *)
455 (* Link caller an
[all...]
H A DfunCallScript.sml25 (* (1) the caller's frame and callee's frame locate in separate areas *)
28 (* the values of stack variables in the caller's frame except those for *)
220 (* A valid parameter (which is trasferred from the caller to the callee) can be a stack variable, a constant and a register variable *)
303 (* The caller pushes parameters into the stack *)
1279 (* The caller pops the results out of the stack *)
1382 (* Status after the caller restores pops results out *)
1902 (* the caller's frame will not be altered unneccessarily (i.e. only those for *)
1904 (* separation of the caller's frame (activation record) and the callee's frame *)
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DBinIO.sml66 | mapToIo (nonIo, name, caller) =
67 Io { name = name, function = caller, cause = nonIo }
H A DTextIO.sml93 | mapToIo (nonIo, name, caller) =
94 Io { name = name, function = caller, cause = nonIo }
H A DVectorSliceOperations.sml80 is filtered out by the caller's signature. *)
H A DLibraryIOSupport.sml127 to the caller. *)
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DType.sml65 fun first_decl caller s = let
69 [] => raise ERR caller ("No such type: "^s)
71 | x::xs => (WARN caller ("More than one possibility for "^s); #2 x)
H A DTerm.sml832 fun gen_variant P caller =
834 | var_name caller _ = raise ERR caller "not a variable"
837 val L = map (var_name caller) vlist
845 | vary _ _ = raise ERR caller "2nd argument should be a variable"
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A DfuncCall.sml42 (* Function calls in a caller-save style. *)
227 (* Process function calls in a caller-save style *)
H A Dcompiler.sml188 (* 1. enforce caller-save-style function calls *)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/
H A Dlinux64_closure.S84 # Our caller has not allocated a parameter save area.
109 # This is the parameter save area set up by our caller.
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/document/
H A Dintro.tex45 things, that the function call and parameters that are sent by the caller are
/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dthreads.tex272 The caller is expected to select an API-ID that corresponds to
276 register to provide single-stepping functionality. If the caller's hardware platform requires the
282 If \texttt{bp\_was\_consumed} is \texttt{true}, the caller should not
284 the caller has disabled single-stepping and released that register, via a subsequent
347 The caller must possess a \obj{Domain} cap and the thread's \obj{TCB} cap.
H A Dapi.tex102 functionality: if this is \texttt{true}, the caller should not attempt to re-use \texttt{bp\_num}
H A Dobjects.tex176 notification is pending, the caller
190 recent caller only. The \apifunc{seL4\_CNode\_SaveCaller}{cnode_savecaller}
211 priority as the caller, the calling thread will immediately be
H A Dipc.tex184 the caller is attempting to send are looked up to ensure that they exist
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DHolKernel.sml260 * of P raises an exception, that propagates to the caller. Therefore, *
261 * P should be a total predicate: otherwise, the caller won't know whether *
332 exceptions are returned to the caller. If there is no sub-term
/seL4-l4v-10.1.1/HOL4/src/0/
H A DTerm.sml348 fun gen_variant P caller =
350 | var_name caller _ = raise ERR caller "not a variable"
353 val L = map (var_name caller) vlist
361 | vary _ _ = raise ERR caller "2nd argument should be a variable"

Completed in 275 milliseconds

12