/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/ |
H A D | hardware.c | 186 void plat_cleanL2Range(paddr_t start, paddr_t end) argument 189 void plat_invalidateL2Range(paddr_t start, paddr_t end) argument 193 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) argument
|
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Proof.C | 109 void Proof::beginChain(ClauseId start) argument
|
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/ |
H A D | Help.sml | 176 let val start = max(0, min(lines - amount + 1, first)) 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/polyml/libpolyml/ |
H A D | machoexport.cpp | 389 char *start = (char*)memTable[i].mtAddr; local
|
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 | elfexport.cpp | 626 char *start = (char*)memTable[i].mtAddr; local
|
H A D | gc_mark_phase.cpp | 627 PolyWord *start, *end; local
|
H A D | pexport.cpp | 264 char *start = (char*)memTable[index].mtAddr; local 283 char *start = (char*)memTable[i].mtAddr; local
|
/seL4-l4v-10.1.1/l4v/tools/asmrefine/testfiles/ |
H A D | global_array_swap.c | 26 word_t start; member in struct:range_blob
|
/seL4-l4v-10.1.1/seL4/include/api/ |
H A D | bootinfo_types.h | 42 seL4_SlotPos start; /* first CNode slot position OF region */ member in struct:__anon107
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/ |
H A D | multiboot.h | 23 uint32_t start; member in struct:multiboot_module
|
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ |
H A D | bootinfo_types.h | 42 seL4_SlotPos start; /* first CNode slot position OF region */ member in struct:__anon172
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
H A D | iospace.c | 103 seL4_SlotPos start = ndks_boot.slot_pos_cur; 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 | 182 paddr_t start local 228 pptr_t start = mem_p_regs.list[i].start; local [all...] |
H A D | boot_sys.c | 93 paddr_t start = boot_state.mem_p_regs.list[i].start; local 110 paddr_t start = MAX(min_paddr, boot_state.mem_p_regs.list[i].start); local [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/ |
H A D | capdl.c | 126 pde_t *start = (pde_t *)address; local 147 pte_t *start = (pte_t *)address; local 160 pde_t **start = (pde_t **)address; local 174 vtd_pte_t *start = (vtd_pte_t *)address; local 248 cte_t *start = (cte_t *)address; 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/HOL4/src/portableML/poly/concurrent/ |
H A D | Task_Queue.sml | 137 val start = Time.now (); value
|
/seL4-l4v-10.1.1/HOL4/src/proofman/ |
H A D | goalStack.sml | 382 fun start() = function
|
/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...] |