Searched defs:data (Results 1 - 25 of 69) sorted by relevance

123

/seL4-l4v-10.1.1/HOL4/src/1/theory_tests/
H A Dattr2Script.sml7 val data = ThmSetData.theory_data {settype = "test", thy = "attr1"} value
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DDB_dtype.sml14 type data = (string * string) * (Thm.thm * class) type
H A DDB.sig8 type data = DB_dtype.data type
[all...]
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dsuzuki.c13 int data; member in struct:node
H A Dlist_rev.c15 int data; member in struct:node
H A Dmemset.c24 long data; member in struct:node
H A Dlist.c12 int data; member in struct:node
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver310.c13 int data; member in struct:s
H A Dshortcircuit.c40 int data; member in struct:foo
H A Dparse_addr.c29 int data; member in struct:s
/seL4-l4v-10.1.1/l4v/misc/filemerge/
H A Dunicode.py35 data = f.read().decode('utf-8') variable
H A Dxsymbol.py35 data = f.read() variable
/seL4-l4v-10.1.1/HOL4/src/1/
H A DThmSetData.sig4 type data = Theory.LoadableThyData.t type
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DSort.h122 T* data = v.release(); local
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dhashtbl.h28 hashData data; member in class:hashElement
/seL4-l4v-10.1.1/HOL4/examples/PSL/1.01/executable-semantics/
H A Dtest.v55 reg [31:0] data; // Data last read from Sender register
96 reg [31:0] data; // Data last read from BUF register
[all...]
H A Dtest_c.v52 reg [31:0] data; // Data last read from Sender register
92 reg [31:0] data; // Data last read from BUF register
[all...]
H A Dtest_c1.v56 reg [31:0] data; // Data last read from Sender register
94 reg [31:0] data; register
[all...]
H A Dtest_c2.v52 reg [31:0] data; // Data last read from Sender register
92 reg [31:0] data; // Data last read from BUF register
[all...]
/seL4-l4v-10.1.1/HOL4/examples/imperative/
H A Dnecec2010.sml29 we enable the HOL system to display all assumptions and data types currently in use. structure
/seL4-l4v-10.1.1/l4v/misc/autostop/
H A Dkillbig.c48 iterate_processes(void (*proc_fn)(int, void *), void *data) argument
78 void test_process(int p, void *data) argument
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/
H A Dfunctions.h39 seL4_SetUserData(seL4_Word data) argument
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dfunctions.h52 seL4_SetUserData(seL4_Word data) argument
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dfunctions.h36 seL4_Word data; local
42 seL4_SetUserData(seL4_Word data) argument
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DHol_pp.sig7 type data = DB.data type

Completed in 207 milliseconds

123