/seL4-l4v-10.1.1/seL4/src/fastpath/ |
H A D | fastpath.c | 128 /* 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 D | call_graph_utils.py | 120 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 D | syscall.c | 346 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 D | FlagPrint.sml | 21 The function must actually be installed by the caller because
|
H A D | Transform.sml | 199 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 D | funCall.sml | 39 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 D | funCall.sml | 27 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 D | funCall.sml | 27 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 D | funCallScript.sml | 25 (* (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 D | BinIO.sml | 66 | mapToIo (nonIo, name, caller) = 67 Io { name = name, function = caller, cause = nonIo }
|
H A D | TextIO.sml | 93 | mapToIo (nonIo, name, caller) = 94 Io { name = name, function = caller, cause = nonIo }
|
H A D | VectorSliceOperations.sml | 80 is filtered out by the caller's signature. *)
|
H A D | LibraryIOSupport.sml | 127 to the caller. *)
|
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/ |
H A D | Type.sml | 65 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 D | Term.sml | 832 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 D | funcCall.sml | 42 (* Function calls in a caller-save style. *) 227 (* Process function calls in a caller-save style *)
|
H A D | compiler.sml | 188 (* 1. enforce caller-save-style function calls *)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
H A D | linux64_closure.S | 84 # 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 D | intro.tex | 45 things, that the function call and parameters that are sent by the caller are
|
/seL4-l4v-10.1.1/seL4/manual/parts/ |
H A D | threads.tex | 272 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 D | api.tex | 102 functionality: if this is \texttt{true}, the caller should not attempt to re-use \texttt{bp\_num}
|
H A D | objects.tex | 176 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 D | ipc.tex | 184 the caller is attempting to send are looked up to ensure that they exist
|
/seL4-l4v-10.1.1/HOL4/src/postkernel/ |
H A D | HolKernel.sml | 260 * 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 D | Term.sml | 348 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"
|