/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/ |
H A D | fdt.c | 93 static const uint32_t *fdt_get_address(const struct fdt_scan_node *node, const uint32_t *value, uint64_t *result) argument 102 static const uint32_t *fdt_get_size(const struct fdt_scan_node *node, const uint32_t *value, uint64_t *result) argument
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/ |
H A D | capdl.c | 28 static int getDecodedChar(unsigned char *result) argument 274 int result; local [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
H A D | smp_sys.c | 132 bool_t result; local
|
H A D | boot_sys.c | 770 bool_t result = false; local
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/ |
H A D | vspace.c | 1686 readWordFromVSpace_ret_t result; local
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 390 readWordFromVSpace_ret_t result; local
|
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
H A D | boot.c | 397 bool_t result = try_init_kernel(ui_p_reg_start, local
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/kernel/ |
H A D | boot.c | 565 bool_t result; local [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
H A D | vspace.c | 2640 readWordFromVSpace_ret_t result; local
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/ |
H A D | capdl.c | 29 static int getDecodedChar(unsigned char *result) argument 253 int result; local [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
H A D | vspace.c | 3212 readWordFromVSpace_ret_t result; local
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/ |
H A D | machine.h | 135 void *result; local 231 rdmsr_safe_result_t result; local
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/model/ |
H A D | smp.h | 27 void *result; local
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/ |
H A D | machine.h | 90 rdmsr_safe_result_t result; local
|
/seL4-l4v-10.1.1/l4v/tools/c-parser/tools/mlyacc/src/ |
H A D | yacc-grm.sml | 336 type result = string*Hdr.declData* ( Hdr.rule list ) type 641 MlyValue.ID_LIST ID_LIST1,ID_LIST1left,_))::rest671) => let val result value [all...] |
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
H A D | parse_simple_struct.c | 19 struct s result; local
|
H A D | parse_prepost.c | 19 int c, result; local
|
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
H A D | mult_by_add.c | 13 unsigned result = 0; local
|
/seL4-l4v-10.1.1/l4v/tools/autocorres/doc/quickstart/ |
H A D | mult_by_add.c | 17 unsigned result = 0; local
|
/seL4-l4v-10.1.1/l4v/misc/regression/ |
H A D | testspec.py | 208 def result(x, fail=lambda x: rel[x]): function in function:Depends.__init__.lookup
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | Rule.sml | 639 val result = value 769 val result = fact [] edges value
|
H A D | Rewrite.sml | 405 val result = rewriteIdRule' order known redexes id th value 647 val result as (Rewrite {known = known', ...}, _) = reduce' rw value [all...] |
H A D | Parse.sml | 38 val (result,input) = parser input value 45 val (result,input) = parser input value
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Rule.sml | 639 val result = value 769 val result = fact [] edges value
|
H A D | Rewrite.sml | 405 val result = rewriteIdRule' order known redexes id th value 647 val result as (Rewrite {known = known', ...}, _) = reduce' rw value [all...] |