| /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
|
| 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
|
| H A D | dn_comp.c | 63 const char *end; local
37 match(int *offset, const unsigned char *base, const unsigned char *dn, const char *end, const unsigned char *lens, int nlen) argument
|
| /seL4-test-master/projects/musllibc/src/linux/ |
| H A D | brk.c | 4 int brk(void *end) argument
|
| /seL4-test-master/projects/musllibc/src/stdio/ |
| H A D | __string_read.c | 8 char *end = memchr(src, 0, k); local
|
| /seL4-test-master/projects/musllibc/src/string/ |
| H A D | strsep.c | 6 char *s = *str, *end; local
|
| /seL4-test-master/projects/musllibc/src/mman/ |
| H A D | mprotect.c | 7 size_t start, end; local
|
| /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/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
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
31 static inline int seL4_ARCH_PageDirectory_Unify_Instruction(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
|
| /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
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
31 static inline int seL4_ARCH_PageDirectory_Unify_Instruction(seL4_CPtr root, seL4_Word start, seL4_Word end) argument
|
| /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
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
31 static inline int seL4_ARCH_PageDirectory_Unify_Instruction(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
|
| /seL4-test-master/projects/musllibc/src/malloc/ |
| H A D | lite_malloc.c | 13 static char *cur, *end; local
|
| H A D | memalign.c | 12 unsigned char *mem, *new, *end; local
|
| /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
|
| H A D | xsdt.h | 43 char* end = (char*)hdr + hdr->header.length; local
|
| H A D | erst.h | 47 char* end = (char*)hdr + hdr->header.length; local
|
| H A D | mcfg.h | 43 char* end = (char*)mcfg + mcfg->header.length; local
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/arch/x86/ |
| H A D | delay.c | 28 uint64_t end = rdtsc_pure() + cycles; local
|
| /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/projects/sel4test/apps/sel4test-driver/src/tests/ |
| H A D | timer.c | 74 uint64_t start, end; local
|
| /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
|