| /seL4-l4v-10.1.1/HOL4/Manual/Guide/ |
| H A D | guide.tex | |
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v4/ |
| H A D | arm_evalLib.sml | 519 val start = Arbnum.zero; value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v4/mlton/ |
| H A D | evalML.sml | 260 val start = Arbnum.zero; value
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | armLib.sml | 225 val start = fromHexString s value
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/examples/ |
| H A D | testEncode.sml | 238 val start = Time.now() value
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | translateScript.sml | 262 let val start = Time.now(); value
271 let val start = Time.now(); value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/ |
| H A D | Import.sig | 133 val start : string -> unit value
|
| H A D | Import.sml | 24 fun start thy = function
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/calculator/ |
| H A D | slist.h | 160 ite(const ite &start) { next=start.next;} argument
161 ite(voidSListElem *start) { next=start; } argument
163 ite &operator=(const ite &start) { next=start.next; return *this; } argument
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | kernel.c | 392 int start = bddvarnum; local
|
| H A D | reorder.c | 83 int start; /* Start of this sub-table (entry in "bddnodes") */ member in struct:_levelData
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | Posix.sml | 352 val start : flock -> Position.int value
416 val start : int value
1383 val start : flock -> Position.int = #3 value
1465 and start = SysWord.toInt(getConst 81) value
|
| H A D | TopLevelPolyML.sml | 1617 val (start, _) = inputN(inStream, 2) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | elfexport.cpp | 626 char *start = (char*)memTable[i].mtAddr; local
|
| H A D | gc_copy_phase.cpp | 116 POLYUNSIGNED start = dst->start[truncated_n]; variable
[all...] |
| H A D | gc_mark_phase.cpp | 627 PolyWord *start, *end; local
|
| H A D | machoexport.cpp | 389 char *start = (char*)memTable[i].mtAddr; local
|
| H A D | memmgr.cpp | 577 CodeSpace::CodeSpace(PolyWord *start, POLYUNSIGNED spaceSize) argument
706 PolyObject *start = (PolyObject *)(space->bottom+1); local
[all...] |
| H A D | memmgr.h | 159 POLYUNSIGNED start[NSTARTS]; /* starting points for bit searches. */ member in class:LocalMemSpace
|
| H A D | objsize.cpp | 164 void ProcessVisitAddresses::ShowBytes(PolyObject *start) argument
192 void ProcessVisitAddresses::ShowCode(PolyObject *start) argument
227 ShowWords(PolyObject *start) argument
[all...] |
| H A D | pecoffexport.cpp | 273 char *start = (char*)memTable[i].mtAddr; local
|
| H A D | pexport.cpp | 264 char *start = (char*)memTable[index].mtAddr; local
283 char *start = (char*)memTable[i].mtAddr; local
|
| H A D | savestate.cpp | 663 char *start = (char*)entry->mtAddr; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/aarch64/ |
| H A D | ffi.c | 62 ffi_clear_cache (void *start, void *end) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
| H A D | closures.c | 458 dlmmap_locked (void *start, size_t length, int prot, int flags, off_t offset) argument
514 dlmmap (void *start, size_t length, int prot, argument
562 dlmunmap(void *start, size_t length) argument
[all...] |