Searched refs:functions (Results 1 - 25 of 695) sorted by last modified time

1234567891011>>

/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dio.tex160 consist of several independent functions, each of which may be addressed
/seL4-l4v-10.1.1/seL4/manual/
H A Dmanual.tex79 % API functions / Kernel Objects
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls_sysenter.h17 #include <sel4/arch/functions.h>
H A Dsyscalls_syscall.h17 #include <sel4/arch/functions.h>
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h17 #include <sel4/arch/functions.h>
21 * A general description of the x86_sys_ functions and what they do can be found in
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dsyscalls.h17 #include <sel4/arch/functions.h>
22 * some helper assembly functions. These functions are designed to cover the different
24 * version is arm_sys_send_recv, and all other functions are limited versions that allow
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dsyscalls.h17 #include <sel4/arch/functions.h>
22 * some helper assembly functions. These functions are designed to cover the different
24 * version is arm_sys_send_recv, and all other functions are limited versions that allow
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dsyscalls.h17 #include <sel4/arch/functions.h>
22 * some helper assembly functions. These functions are designed to cover the different
24 * version is arm_sys_send_recv, and all other functions are limited versions that allow
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dsyscalls.h17 #include <sel4/arch/functions.h>
H A Dfunctions.h17 #include <sel4/sel4_arch/functions.h>
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h23 #include <sel4/arch/functions.h>
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h17 #include <sel4/arch/functions.h>
H A Dfunctions.h18 #include <sel4/sel4_arch/functions.h>
/seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/
H A Dmain.sml63 " functions MUST be shown to be side-effect free (and don't look as if they are): "
72 val functions = get_functions cse value
85 app print functions
90 val functions = get_functions cse value
103 app print functions
108 val functions = get_functions cse value
114 List.foldl foldthis (Binaryset.empty String.compare) functions
170 writeln "Topological sort of functions in callgraph";
186 writeln "Uncalled functions";
H A DGetOpt.sml41 (* helper functions *)
92 (* Some error handling functions *)
/seL4-l4v-10.1.1/l4v/tools/autocorres/tools/stats/
H A Dsummary.py32 functions = intc(fetch_match(data, "([0-9]+) function.s")) variable
55 print (" {project:<20} & {loc:>7} & {functions:>4} & "
/seL4-l4v-10.1.1/l4v/proof/infoflow/tools/
H A Dauthority2infoflow-CaML.ml13 (* This file contains the functions building the tool that translates AUTHORITY GRAPHS into INFOFLOW POLICY GRAPHS *)
28 (* We define a bunch of elementary functions *)
311 (* first some basic functions *)
427 (* we define 2 functions mapping the labels in the infoflow graph to int, and back to string *)
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/document/
H A Dintro.tex32 contained functions.
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A Dselftest.sml46 (* Helper functions. *)
H A Dproblems.sml16 (* Helper functions. *)
331 (* Predicate logic without functions. *)
H A Dproblems2tptp.sml21 (* Helper functions. *)
H A DTptp.sml16 [(* Mapping TPTP functions to infix symbols *)
41 (* Interpreting TPTP functions and relations in a finite model. *)
103 (* Helper functions. *)
444 (* Interpreting TPTP functions and relations in a finite model. *)
589 | functionsLiteral (Literal lit) = Literal.functions lit;
871 | FofFormulaBody fm => Formula.functions fm;
918 Normalize.Axiom fm => Formula.functions fm
919 | Normalize.Definition (_,fm) => Formula.functions fm
927 Proof.Axiom cl => LiteralSet.functions cl
928 | Proof.Assume atm => Atom.functions at
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A Dselftest.sml46 (* Helper functions. *)
H A Dproblems.sml16 (* Helper functions. *)
331 (* Predicate logic without functions. *)
H A Dproblems2tptp.sml21 (* Helper functions. *)

Completed in 186 milliseconds

1234567891011>>