| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | scanaddrs.cpp | 147 void ScanAddress::ScanAddressesInRegion(PolyWord *region, PolyWord *end) argument
|
| H A D | elfexport.cpp | 627 char *end = start + memTable[i].mtLength; local
|
| H A D | gc_mark_phase.cpp | 627 PolyWord *start, *end; local
[all...] |
| H A D | pexport.cpp | 265 char *end = start + memTable[index].mtLength; local
284 char *end = start + memTable[i].mtLength; local
|
| H A D | savestate.cpp | 664 char *end = start + entry->mtLength; local
[all...] |
| H A D | x86_dep.cpp | 1040 PolyWord *end = addr->Offset(length - 1); local
|
| /seL4-l4v-10.1.1/l4v/tools/asmrefine/testfiles/ |
| H A D | global_array_swap.c | 27 word_t end; member in struct:range_blob
|
| /seL4-l4v-10.1.1/seL4/include/api/ |
| H A D | bootinfo_types.h | 43 seL4_SlotPos end; /* first CNode slot position AFTER region */ member in struct:__anon107
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/ |
| H A D | multiboot.h | 24 uint32_t end; member in struct:multiboot_module
|
| /seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ |
| H A D | bootinfo_types.h | 43 seL4_SlotPos end; /* first CNode slot position AFTER region */ member in struct:__anon172
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
| H A D | iospace.c | 104 seL4_SlotPos end = 0; local
|
| H A D | vcpu.c | 34 vcpu_save_reg_range(vcpu_t *vcpu, word_t start, word_t end) argument
52 vcpu_restore_reg_range(vcpu_t *vcpu, word_t start, word_t end) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | boot.c | 229 pptr_t end = mem_p_regs.list[i].end; local
[all...] |
| H A D | boot_sys.c | 94 paddr_t end = boot_state.mem_p_regs.list[i].end; local
111 paddr_t end = boot_state.mem_p_regs.list[i].end; local
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | ioport.c | 30 make_pattern(int start, int end) argument
|
| /seL4-l4v-10.1.1/seL4/src/plat/spike/machine/ |
| H A D | fdt.c | 167 const uint32_t *end = value + state->reg_len / 4; local
|
| /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/PolyPerf/ |
| H A D | PolyPerf.cpp | 289 unsigned char *end = ptr+length; local
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/ |
| H A D | m1-story.lisp | |
| /seL4-l4v-10.1.1/HOL4/Manual/Guide/ |
| H A D | guide.tex | [all...] |
| /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 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) argument
|
| /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/l4v/camkes/glue-proofs/ |
| H A D | EventFrom.c | 1616 end member in struct:__anon24
|