/seL4-test-master/projects/musllibc/src/string/ |
H A D | strsep.c | 6 char *s = *str, *end; local 8 end = s + strcspn(s, sep); 9 if (*end) *end++ = 0; 10 else end = 0; 11 *str = end;
|
/seL4-test-master/projects/musllibc/src/network/ |
H A D | dn_skipname.c | 3 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 D | dn_expand.c | 4 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-test-master/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/ |
H A D | cache.h | 16 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-test-master/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/ |
H A D | cache.h | 16 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-test-master/projects/seL4_libs/libsel4utils/sel4_arch_include/arm_hyp/sel4utils/sel4_arch/ |
H A D | cache.h | 16 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-test-master/projects/musllibc/src/linux/ |
H A D | brk.c | 4 int brk(void *end) argument
|
/seL4-test-master/kernel/include/ |
H A D | basic_types.h | 20 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-test-master/kernel/include/arch/arm/arch/machine/ |
H A D | l2c_310.h | 20 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-test-master/projects/musllibc/src/mman/ |
H A D | mprotect.c | 7 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-test-master/projects/seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/ |
H A D | cache.h | 16 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-test-master/projects/seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/ |
H A D | cache.h | 16 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-test-master/kernel/src/arch/arm/machine/ |
H A D | l2c_nop.c | 13 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 D | cache.c | 15 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-test-master/kernel/src/plat/allwinnerA20/machine/ |
H A D | l2cache.c | 37 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-test-master/kernel/src/plat/am335x/machine/ |
H A D | l2cache.c | 37 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-test-master/kernel/src/plat/omap3/machine/ |
H A D | l2cache.c | 37 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-test-master/kernel/include/arch/arm/arch/ |
H A D | machine.h | 31 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-test-master/projects/musllibc/src/stdio/ |
H A D | __string_read.c | 8 char *end = memchr(src, 0, k); local 9 if (end) k = end-src;
|
/seL4-test-master/projects/musllibc/src/malloc/ |
H A D | lite_malloc.c | 13 static char *cur, *end; local 28 if (n > end-cur) { 35 if (new != end) { 40 end = new + m;
|
H A D | memalign.c | 12 unsigned char *mem, *new, *end; local 45 end = mem + (header & -8); 46 footer = ((size_t *)end)[-2]; 50 ((size_t *)new)[-1] = header&7 | end-new; 51 ((size_t *)end)[-2] = footer&7 | end-new;
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | rsdt.h | 43 char* end = (char*)hdr + hdr->header.length; local 44 if (next < end) {
|
H A D | xsdt.h | 43 char* end = (char*)hdr + hdr->header.length; local 44 if (next < end) {
|
H A D | erst.h | 47 char* end = (char*)hdr + hdr->header.length; local 48 if (next < end) {
|
/seL4-test-master/projects/seL4_libs/libsel4debug/src/ |
H A D | bootinfo.c | 27 printf("Empty slots: [%lu --> %lu)\n", (long)info->empty.start, (long)info->empty.end); 28 printf("sharedFrames: [%lu --> %lu)\n", (long)info->sharedFrames.start, (long)info->sharedFrames.end); 29 printf("userImageFrames: [%lu --> %lu)\n", (long)info->userImageFrames.start, (long)info->userImageFrames.end); 30 printf("userImagePaging: [%lu --> %lu)\n", (long)info->userImagePaging.start, (long)info->userImagePaging.end); 31 printf("untypeds: [%lu --> %lu)\n", (long)info->untyped.start, (long)info->untyped.end); 39 for (int i = 0; i < CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS && i < (info->untyped.end - info->untyped.start); i++) {
|