| /seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/ |
| H A D | acpi.c | 194 acpi_table_init(void* entry, enum acpi_type table_type) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | boot_sys.c | 126 word_t entry; local
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 644 map_temp_boot_page(void* entry, uint32_t large_pages) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 342 map_temp_boot_page(void* entry, uint32_t large_pages) argument
|
| /seL4-l4v-10.1.1/seL4/include/benchmark/ |
| H A D | benchmark_track_types.h | 68 kernel_entry_t entry; member in struct:benchmark_syscall_log_entry
|
| /seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ |
| H A D | benchmark_track_types.h | 68 kernel_entry_t entry; member in struct:benchmark_syscall_log_entry
|
| /seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/ |
| H A D | acpi.h | 53 uint32_t entry[1]; member in struct:acpi_rsdt
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
| H A D | MATCH_COMPILER.sml | 898 val entry = { pattNo = pat, tests = createTests(pat, pattern) } value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | savestate.cpp | 501 memoryTableEntry *entry = &exports.memTable[memTableCount++]; local
521 memoryTableEntry *entry = &exports.memTable[memTableCount++]; local
627 memoryTableEntry *entry = &exports.memTable[j]; local
653 memoryTableEntry *entry = &exports.memTable[k]; local
[all...] |
| H A D | rtsentry.cpp | 151 polyRTSFunction entry = ep->entry; local
[all...] |
| H A D | rtsentry.h | 37 polyRTSFunction entry; member in struct:_entrypts
|
| H A D | exporter.cpp | 576 memoryTableEntry *entry = &exports->memTable[memEntry++]; local
590 memoryTableEntry *entry = &exports->memTable[memEntry++]; local
790 unsigned long entry = stringSize; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arm/ |
| H A D | ffi.c | 641 ffi_trampoline_table_entry *entry = &table->free_list_pool[i]; local
682 ffi_trampoline_table_entry *entry = ffi_trampoline_tables->free_list; local
706 ffi_trampoline_table_entry *entry = closure->trampoline_table_entry; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | NetServDB.sml | 22 type entry type
33 type entry = string * string list * int * string type
[all...] |
| H A D | NetProtDB.sml | 22 type entry type
32 type entry = string * string list * int type
[all...] |
| H A D | NetHostDB.sml | 24 type entry type
134 type entry = string * string list * addr_family * in_addr list type
[all...] |
| /seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
| H A D | shrink.sml | 27 type entry type
32 type entry type
37 type entry type
43 type entry type
66 type entry = A.entry type
127 type entry = A.entry type
131 structure Sort = MergeSortFun(type entry = A.entry * int type
189 type entry = (term,action) pairlist * action type
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/quotient/examples/sigma/ |
| H A D | semanticsScript.sml | 40 val entry = ty_antiq( ==`:string # method`== ); value
[all...] |
| H A D | reductionScript.sml | 36 val entry = ty_antiq( ==`:string # method`== ); value
[all...] |
| H A D | liftScript.sml | 37 val entry = ty_antiq( ==`:string # method1`== ); value
1628 val entry = ty_antiq( ==`:string # method`== ); value
[all...] |
| H A D | barendregt.sml | 68 val entry = ty_antiq( ==`:string # method`== ); value
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/ |
| H A D | Task_Queue.sml | 379 let val entry as (_, (ds, _)) = #2 (Task_Graph.get_entry jobs task) in value
|
| /seL4-l4v-10.1.1/HOL4/help/src-sml/ |
| H A D | MyDatabase-sig.sml | 16 type entry = { comp : component, file : string, line : int } type
|
| H A D | MyDatabase.sml | 16 type entry = { comp : component, file : string, line : int } type
|
| H A D | Database.sml | 117 type entry = { comp : component, file : string, line : int } type
|