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

12

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DBasicStreamIO.sml54 | mapToIo (nonIo, name, caller) =
55 Io { name = name, function = caller, cause = nonIo }
H A DPrimIO.sml114 the caller was using "readVec maxInt" to mean
H A DString.sml112 N.B. The caller must make sure that neither string is a single character. *)
/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dcspace.tex70 amount of untyped memory (see \autoref{sec:object_sizes}). The caller
306 address refers to the specific slot in the caller's CSpace that
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DSmtLib_Parser.sml39 caller. 3. The dictionary maps tokens to a list of parsing
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DX86FOREIGNCALL.sml106 on the stack. The caller must ensure the stack is aligned on 16-byte boundary
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DCommonDialog.sml856 val PSD_MINMARGINS = 0wx00000001 (* use caller's *)
857 val PSD_MARGINS = 0wx00000002 (* use caller's *)
H A DMessage.sml3605 than having the caller call DefWindowProc because that
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DCODEGEN_PARSETREE.sml142 and allocator time. If we could tell that the caller was simply going
143 to explode it we would gain but if the caller needed a
147 a new one in the caller.
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86_64/
H A Dprog_x64_extraScript.sml971 RAX -- R11 are caller saved
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dtexinfo.tex459 % Do not use \next, perhaps the caller of \parsearg uses it; reuse \temp:
9700 % We also call \setleading{\textleading}, so the caller should define
9701 % \textleading. The caller should also set \parskip.

Completed in 234 milliseconds

12