Searched refs:start (Results 1 - 25 of 236) sorted by relevance

12345678910

/seL4-camkes-master/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/
H A Dcache.h16 static inline int seL4_ARCH_PageDirectory_Clean_Data(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
18 return seL4_ARM_PageDirectory_Clean_Data(root, start, end);
21 static inline int seL4_ARCH_PageDirectory_Invalidate_Data(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
23 return seL4_ARM_PageDirectory_Invalidate_Data(root, start, end);
26 static inline int seL4_ARCH_PageDirectory_CleanInvalidate_Data(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
28 return seL4_ARM_PageDirectory_CleanInvalidate_Data(root, start, end);
31 static inline int seL4_ARCH_PageDirectory_Unify_Instruction(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
33 return seL4_ARM_PageDirectory_Unify_Instruction(root, start, end);
/seL4-camkes-master/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/
H A Dcache.h16 static inline int seL4_ARCH_PageDirectory_Clean_Data(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
18 return seL4_ARM_VSpace_Clean_Data(root, start, end);
21 static inline int seL4_ARCH_PageDirectory_Invalidate_Data(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
23 return seL4_ARM_VSpace_Invalidate_Data(root, start, end);
26 static inline int seL4_ARCH_PageDirectory_CleanInvalidate_Data(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
28 return seL4_ARM_VSpace_CleanInvalidate_Data(root, start, end);
31 static inline int seL4_ARCH_PageDirectory_Unify_Instruction(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
33 return seL4_ARM_VSpace_Unify_Instruction(root, start, end);
/seL4-camkes-master/projects/seL4_libs/libsel4utils/sel4_arch_include/arm_hyp/sel4utils/sel4_arch/
H A Dcache.h16 static inline int seL4_ARCH_PageDirectory_Clean_Data(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
18 return seL4_ARM_PageDirectory_Clean_Data(root, start, end);
21 static inline int seL4_ARCH_PageDirectory_Invalidate_Data(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
23 return seL4_ARM_PageDirectory_Invalidate_Data(root, start, end);
26 static inline int seL4_ARCH_PageDirectory_CleanInvalidate_Data(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
28 return seL4_ARM_PageDirectory_CleanInvalidate_Data(root, start, end);
31 static inline int seL4_ARCH_PageDirectory_Unify_Instruction(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
33 return seL4_ARM_PageDirectory_Unify_Instruction(root, start, end);
/seL4-camkes-master/projects/musllibc/src/mman/
H A Dmsync.c4 int msync(void *start, size_t len, int flags) argument
6 return syscall_cp(SYS_msync, start, len, flags);
H A Dmprotect.c7 size_t start, end; local
8 start = (size_t)addr & -PAGE_SIZE;
10 return syscall(SYS_mprotect, start, end-start, prot);
H A Dmunmap.c8 int __munmap(void *start, size_t len) argument
11 return syscall(SYS_munmap, start, len);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dprinter.h26 acpi_print_table(const void* start);
30 acpi_print_table_raw(const void* start, int length);
37 acpi_print_table(const void* start UNUSED) {}
40 acpi_print_table_raw(const void* start UNUSED, int length UNUSED) {}
H A Dregions.h28 void* start; member in struct:Region
37 * This offset is added to region start addresses when
56 * Sort regions by start address
70 Region_t new_region(region_type_t type, void *start, size_t size, int parent) argument
74 r.start = start;
83 void* start, size_t size, int parent)
85 return add_region(region_list, new_region(type, start, size, parent));
90 void* start, const void* end, int parent)
92 return add_region(region_list, new_region(type, start, en
82 add_region_size(RegionList_t* region_list, region_type_t type, void* start, size_t size, int parent) argument
89 add_region_range(RegionList_t* region_list, region_type_t type, void* start, const void* end, int parent) argument
[all...]
/seL4-camkes-master/kernel/include/
H A Dbasic_types.h19 pptr_t start; member in struct:region
24 paddr_t start; member in struct:p_region
29 vptr_t start; member in struct:v_region
33 #define REG_EMPTY (region_t){ .start = 0, .end = 0 }
34 #define P_REG_EMPTY (p_region_t){ .start = 0, .end = 0 }
/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Dl2c_310.h20 void plat_cleanL2Range(paddr_t start, paddr_t end);
21 void plat_invalidateL2Range(paddr_t start, paddr_t end);
22 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end);
/seL4-camkes-master/projects/seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/
H A Dcache.h16 static inline int seL4_ARCH_PageDirectory_Clean_Data(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
21 static inline int seL4_ARCH_PageDirectory_Invalidate_Data(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
26 static inline int seL4_ARCH_PageDirectory_CleanInvalidate_Data(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
/seL4-camkes-master/projects/seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/
H A Dcache.h16 static inline int seL4_ARCH_PageDirectory_Clean_Data(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
21 static inline int seL4_ARCH_PageDirectory_Invalidate_Data(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
26 static inline int seL4_ARCH_PageDirectory_CleanInvalidate_Data(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Dl2c_nop.c13 void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument
14 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument
15 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
H A Dcache.c15 static void cleanCacheRange_PoC(vptr_t start, vptr_t end, paddr_t pstart) argument
20 for (index = LINE_INDEX(start); index < LINE_INDEX(end) + 1; index++) {
22 cleanByVA(line, pstart + (line - start));
26 void cleanInvalidateCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) argument
31 \<or> \<acute>end - \<acute>start <= gs_get_assn cap_get_capSizeBits_'proc \<acute>ghost'state)
32 \<and> \<acute>start <= \<acute>end, id)" */
35 cleanCacheRange_PoC(start, end, pstart);
41 plat_cleanInvalidateL2Range(pstart, pstart + (end - start));
47 for (index = LINE_INDEX(start); index < LINE_INDEX(end) + 1; index++) {
49 cleanInvalByVA(line, pstart + (line - start));
55 cleanCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) argument
77 cleanCacheRange_PoU(vptr_t start, vptr_t end, paddr_t pstart) argument
93 invalidateCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) argument
135 invalidateCacheRange_I(vptr_t start, vptr_t end, paddr_t pstart) argument
146 branchFlushRange(vptr_t start, vptr_t end, paddr_t pstart) argument
[all...]
/seL4-camkes-master/kernel/src/plat/allwinnerA20/machine/
H A Dl2cache.c37 void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument
38 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument
39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
/seL4-camkes-master/kernel/src/plat/am335x/machine/
H A Dl2cache.c37 void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument
38 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument
39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
/seL4-camkes-master/kernel/src/plat/omap3/machine/
H A Dl2cache.c37 void plat_cleanL2Range(paddr_t start, paddr_t end) {} argument
38 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} argument
39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} argument
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/pthread/
H A Dpthread_makelwp_rumprun.c6 pthread__makelwp(void (*start)(void *), void *arg, void *private,
10 return rumprun_makelwp(start, arg, private,
/seL4-camkes-master/projects/capdl/cdl_utils/
H A Duntyped_gen.py25 Region = namedtuple('Region', ['start', 'end'])
30 start = region.start
32 while start != end:
33 assert (start <= end)
34 size_bits = (end - start).bit_length() - 1 if start < end else arch.word_size_bits()
35 align_bits = ctz(start) if start > 0 else size_bits
40 untyped.append({'device': device, 'size_bits': size_bits, 'paddr': start})
[all...]
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/
H A Dstrconv.c85 char *start, *end; local
120 start = strchr(buffer, 'e');
121 if(start) {
122 start++;
123 end = start + 1;
125 if(*start == '-')
126 start++;
131 if(end != start) {
132 memmove(start, end, length - (size_t)(end - buffer));
133 length -= (size_t)(end - start);
[all...]
/seL4-camkes-master/kernel/include/arch/arm/arch/
H A Dmachine.h31 static inline void plat_cleanL2Range(paddr_t start, paddr_t end);
32 static inline void plat_invalidateL2Range(paddr_t start, paddr_t end);
33 static inline void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end);
36 void cleanInvalidateCacheRange_RAM(word_t start, word_t end, paddr_t pstart);
37 void cleanCacheRange_RAM(word_t start, word_t end, paddr_t pstart);
38 void cleanCacheRange_PoU(word_t start, word_t end, paddr_t pstart);
39 void invalidateCacheRange_RAM(word_t start, word_t end, paddr_t pstart);
40 void invalidateCacheRange_I(word_t start, word_t end, paddr_t pstart);
41 void branchFlushRange(word_t start, word_t end, paddr_t pstart);
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dvspace_internal.h67 static int reserve_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, argument
70 while (start < end) {
71 int index = INDEX_FOR_LEVEL(start, 0);
82 start += BYTES_FOR_LEVEL(0);
87 static int reserve_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, argument
91 while (start < end) {
92 int index = INDEX_FOR_LEVEL(start, level_num);
93 /* align the start so we can check for alignment later */
94 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num);
95 /* calculate the start o
144 clear_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, bool only_reserved) argument
160 clear_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, bool only_reserved) argument
194 update_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, seL4_CPtr cap, uintptr_t cookie) argument
211 update_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, seL4_CPtr cap, uintptr_t cookie) argument
252 is_reserved_or_empty_bottom(vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, uintptr_t good, uintptr_t bad) argument
266 is_reserved_or_empty_mid(vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, uintptr_t good, uintptr_t bad) argument
302 uintptr_t start = vaddr; local
308 reserve_entries_range(vspace_t *vspace, uintptr_t start, uintptr_t end, bool preserve_frames) argument
316 uintptr_t start = vaddr; local
321 clear_entries_range(vspace_t *vspace, uintptr_t start, uintptr_t end, bool only_reserved) argument
338 uintptr_t start = vaddr; local
343 is_reserved_or_empty_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end, uintptr_t good, uintptr_t bad) argument
352 uintptr_t start = vaddr; local
357 is_available_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end) argument
367 is_reserved_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end) argument
[all...]
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dvma.h24 void *start; member in struct:camkes_vma
/seL4-camkes-master/projects/picotcp/test/python/
H A Dhttp_server_linux.py10 start(T)
H A Dnoop.py11 start(T)

Completed in 141 milliseconds

12345678910