/seL4-test-master/projects/musllibc/src/mman/ |
H A D | msync.c | 4 int msync(void *start, size_t len, int flags) argument
|
H A D | munmap.c | 8 int __munmap(void *start, size_t len) argument
|
H A D | mprotect.c | 7 size_t start, end; local
|
H A D | mmap.c | 15 void *__mmap(void *start, size_t len, int prot, int flags, int fd, off_t off) argument
|
/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
|
H A D | cache.c | 15 static void cleanCacheRange_PoC(vptr_t start, vptr_t end, paddr_t pstart) argument 26 void cleanInvalidateCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) argument 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-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/musllibc/src/mq/ |
H A D | mq_notify.c | 15 static void *start(void *p) function
|
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/include/muslcsys/ |
H A D | io.h | 29 char *start; member in struct:cpio_file_data
|
/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 | 19 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
|
/seL4-test-master/projects/util_libs/libfdt/ |
H A D | fdt_wip.c | 96 static void fdt_nop_region_(void *start, int len) argument
|
/seL4-test-master/tools/seL4/elfloader-tool/src/arch-arm/ |
H A D | sys_boot.c | 50 uintptr_t UNUSED start = (uintptr_t)_text; local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | regions.h | 28 void* start; member in struct:Region 70 Region_t new_region(region_type_t type, void *start, size_t size, int parent) argument 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-test-master/tools/seL4/elfloader-tool/include/arch-riscv/ |
H A D | sbi.h | 78 sbi_remote_sfence_vma(const unsigned long *hart_mask, UNUSED unsigned long start, UNUSED unsigned long size) argument 85 sbi_remote_sfence_vma_asid(const unsigned long *hart_mask, UNUSED unsigned long start, UNUSED unsigned long size, UNUSED unsigned long asid) argument
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | preempt.c | 101 uint64_t start, end, diff; local
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/ |
H A D | ioports.h | 72 uint16_t start; member in struct:vm_ioport_range
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
H A D | ioports.h | 36 uint16_t start; member in struct:ioport_range
|