| /seL4-refos-master/libs/libmuslc/src/linux/ |
| H A D | brk.c | 4 int brk(void *end) argument
|
| /seL4-refos-master/libs/libmuslc/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
|
| /seL4-refos-master/libs/libmuslc/src/stdio/ |
| H A D | __string_read.c | 8 char *end = memchr(src, 0, k); local
|
| /seL4-refos-master/libs/libmuslc/src/string/ |
| H A D | strsep.c | 6 char *s = *str, *end; local
|
| /seL4-refos-master/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-refos-master/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-refos-master/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-refos-master/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-refos-master/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-refos-master/projects/refos/impl/libs/libdatastruct/include/data_struct/ |
| H A D | cpool.h | 21 uint32_t end; member in struct:cpool_s
|
| /seL4-refos-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-refos-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-refos-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-refos-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-refos-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-refos-master/libs/libdatastruct/include/data_struct/ |
| H A D | cpool.h | 21 uint32_t end; member in struct:cpool_s
|
| /seL4-refos-master/libs/libmuslc/src/mman/ |
| H A D | mprotect.c | 7 size_t start, end; local
|
| /seL4-refos-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-refos-master/projects/refos/impl/libs/libdatastruct/src/ |
| H A D | cpool.c | 19 cpool_init(cpool_t *p, uint32_t start, uint32_t end) argument
|
| /seL4-refos-master/libs/libdatastruct/src/ |
| H A D | cpool.c | 19 cpool_init(cpool_t *p, uint32_t start, uint32_t end) argument
|
| /seL4-refos-master/libs/libmuslc/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-refos-master/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
|