| /seL4-l4v-10.1.1/HOL4/examples/ARM/v4/mlton/ |
| H A D | updateML.sml | 21 datatype data = Byte of word8 | Half of word16 | Word of word32 type
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/PSL/1.01/executable-semantics/ |
| H A D | test2.v | 65 reg [31:0] data; // Data last read from Sender register
112 reg [31:0] data; // Data last read from BUF register
[all...] |
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tools/stats/ |
| H A D | summary.py | 26 data = "\n".join(f.readlines()) variable
[all...] |
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | parse_struct_array.c | 17 char data[MAX_SIZE]; member in struct:s
|
| H A D | parse_struct.c | 93 void *data; member in struct:tree20
|
| /seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | SolverTypes.h | 86 Lit data[1]; member in class:Clause
120 void* data; member in class:GClause
[all...] |
| H A D | Global.h | 147 T* data; member in class:vec
229 if (dealloc) xfree(data), data = NULL, cap = 0; } } local
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | Profile.sml | 36 val data = value
49 val data = value
|
| /seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
| H A D | coreutils.sml | 94 val data = Array.fromList(loop 0) value
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/ |
| H A D | slist.h | 25 void *data; member in class:voidSList::voidSListElem
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/object/ |
| H A D | objecttype.c | 122 Arch_updateCapData(bool_t preserve, word_t data, cap_t cap) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/object/ |
| H A D | objecttype.c | 116 Arch_updateCapData(bool_t preserve, word_t data, cap_t cap) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/object/ |
| H A D | objecttype.c | 66 Arch_updateCapData(bool_t preserve, word_t data, cap_t cap) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | objecttype.c | 145 cap_t CONST Arch_updateCapData(bool_t preserve, word_t data, cap_t cap) argument
|
| H A D | ioport.c | 229 invokeX86PortOut(word_t invLabel, uint16_t port, uint32_t data) argument
299 uint32_t data; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
| H A D | funCall.sml | 498 val data = map (fn (dest, src) => (dest, src, direct_before dest)) regL value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | ThmSetData.sml | 6 type data = LoadableThyData.t type
104 val (data, _) = mk' [s] value
172 val (data, namedthm value
[all...] |
| H A D | match_goal.sml | 35 type data = named_thms * named_tms type
|
| /seL4-l4v-10.1.1/HOL4/src/postkernel/ |
| H A D | DB.sml | 34 type data = (string * string) * (thm * class) type
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bddio.c | 56 int data; member in struct:s_LoadHash
566 static void loadhash_add(int key, int data) argument
|
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tools/ |
| H A D | release.py | 233 data = lib_root.read() variable
|
| /seL4-l4v-10.1.1/l4v/misc/autostop/ |
| H A D | stop.c | 103 iterate_processes(char **limit, void (*proc_fn)(int, void *), void *data) argument
177 struct test_data *data = d; local
[all...] |
| /seL4-l4v-10.1.1/seL4/manual/parts/ |
| H A D | bootup.tex | |
| /seL4-l4v-10.1.1/HOL4/src/compute/src/ |
| H A D | clauses.sml | 272 val data = all_data setname value
|
| /seL4-l4v-10.1.1/HOL4/src/simp/src/ |
| H A D | Cache.sml | 9 type data = (hypinfo * thm option) list type
|