Searched refs:end (Results 1 - 25 of 248) sorted by relevance

12345678910

/seL4-camkes-master/projects/musllibc/src/string/
H A Dstrsep.c6 char *s = *str, *end; local
8 end = s + strcspn(s, sep);
9 if (*end) *end++ = 0;
10 else end = 0;
11 *str = end;
/seL4-camkes-master/projects/musllibc/src/network/
H A Ddn_skipname.c3 int dn_skipname(const unsigned char *s, const unsigned char *end) argument
6 for (p=s; p<end; p++)
9 if (p+1<end) return p-s+2;
H A Ddn_expand.c4 int __dn_expand(const unsigned char *base, const unsigned char *end, const unsigned char *src, char *dest, int space) argument
9 if (p==end || space <= 0) return -1;
12 for (i=0; i < end-base; i+=2) {
13 /* loop invariants: p<end, dest<dend */
15 if (p+1==end) return -1;
18 if (j >= end-base) return -1;
23 if (j >= end-p || j >= dend-dest) return -1;
/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/linux/
H A Dbrk.c4 int brk(void *end) argument
/seL4-camkes-master/kernel/include/
H A Dbasic_types.h20 pptr_t end; member in struct:region
25 paddr_t end; member in struct:p_region
30 vptr_t end; 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/projects/musllibc/src/mman/
H A Dmprotect.c7 size_t start, end; local
9 end = (size_t)((char *)addr + len + PAGE_SIZE-1) & -PAGE_SIZE;
10 return syscall(SYS_mprotect, start, end-start, prot);
/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++) {
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++) {
55 void cleanCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) argument
58 \<or> \<acute>end
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/projects/projects_libs/libjansson/jansson-2.7/src/
H A Dstrconv.c63 char *end; local
70 value = strtod(strbuffer->value, &end);
71 assert(end == strbuffer->value + strbuffer->length);
85 char *start, *end; local
123 end = start + 1;
128 while(*end == '0')
129 end++;
131 if(end != start) {
132 memmove(start, end, length - (size_t)(end
[all...]
/seL4-camkes-master/projects/capdl/cdl_utils/
H A Duntyped_gen.py25 Region = namedtuple('Region', ['start', 'end'])
31 end = region.end
32 while start != end:
33 assert (start <= end)
34 size_bits = (end - start).bit_length() - 1 if start < end else arch.word_size_bits()
57 if reserved[0].start == reserved[0].end:
60 if available[0].start >= available[0].end:
63 elif reserved[0].end <
[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/musllibc/src/stdio/
H A D__string_read.c8 char *end = memchr(src, 0, k); local
9 if (end) k = end-src;
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/
H A Diterator.hpp25 inline object_kv* end(object_map &map) { return map.ptr + map.size; } function
26 inline const object_kv* end(const object_map &map) { return map.ptr + map.size; } function
30 inline object* end(object_array &array) { return array.ptr + array.size; } function
31 inline const object* end(const object_array &array) { return array.ptr + array.size; } function
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dvma.h20 /* Dimensions of the region. It would seem to make more sense to give a size than an end
25 void *end; member in struct:camkes_vma
/seL4-camkes-master/projects/musllibc/src/malloc/
H A Dlite_malloc.c13 static char *cur, *end; local
28 if (n > end-cur) {
35 if (new != end) {
40 end = new + m;
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dunit_rbtree.c23 struct timeval start, end; local
37 gettimeofday(&end, 0);
39 (int)((end.tv_sec - start.tv_sec) * 1000 + (end.tv_usec - start.tv_usec) / 1000));
46 gettimeofday(&end, 0);
48 (int)((end.tv_sec - start.tv_sec) * 1000 + (end.tv_usec - start.tv_usec) / 1000));
58 struct timeval start, end; local
88 gettimeofday(&end, 0);
90 (int)((end
[all...]

Completed in 201 milliseconds

12345678910