| /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/polyml/mlsource/extra/Win/ |
| H A D | Dialog.sml | 229 val start = !ptr value
323 val start = !ptr value
|
| /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/examples/ARM/v4/mlton/ |
| H A D | evalML.sml | 260 val start = Arbnum.zero; value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| 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 | savestate.cpp | 663 char *start = (char*)entry->mtAddr; local
[all...] |
| H A D | windows_specific.cpp | 993 STARTUPINFO *start = &startupInfo; local
|
| /seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/ |
| H A D | acpi.c | 166 acpi_calc_checksum(char* start, uint32_t length) argument
|
| /seL4-l4v-10.1.1/HOL4/src/integer/ |
| H A D | CooperShell.sml | 423 val start = (v, Arbint.min(Binarymap.find(final_map, v)) value
|
| /seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
| H A D | yacc.sml | 461 val start = value
748 val start = value
[all...] |
| /seL4-l4v-10.1.1/HOL4/Manual/Guide/ |
| H A D | guide.tex | |
| /seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv8-a/64/armv/ |
| H A D | vcpu.h | 564 vcpu_save_reg_range(vcpu_t *vcpu, word_t start, word_t end) argument
582 vcpu_restore_reg_range(vcpu_t *vcpu, word_t start, word_t end) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/machine/ |
| H A D | l2c_310.c | 385 void plat_cleanL2Range(paddr_t start, paddr_t end) argument
401 void plat_invalidateL2Range(paddr_t start, paddr_t end) argument
420 plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) argument
[all...] |
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | Holmake_tools.sml | 189 val start = getDir() value
|
| /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/polyml/mlsource/MLCompiler/ |
| H A D | TYPEIDCODE.sml | 573 val (start, terminator) = value
582 val (start, terminator) = value
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | TopLevelPolyML.sml | 1617 val (start, _) = inputN(inStream, 2) value
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1882 doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart) argument
1929 performPDFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
2125 performPageFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
2204 vptr_t start, end; local
2734 vptr_t start, end; local
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1449 doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart) argument
1487 performPageGlobalDirectoryFlush(int invLabel, pgde_t *pgd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
1655 performPageFlush(int invLabel, pgde_t *pgd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
1733 vptr_t start, end; local
2322 vptr_t start, end; local
[all...] |
| /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/l4v/camkes/glue-proofs/ |
| H A D | EventFrom.c | 1612 start member in struct:__anon24
|
| H A D | EventTo.c | 1800 start member in struct:__anon36
|