/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 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-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 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-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 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-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 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-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 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-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 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-refos-master/libs/libmuslc/src/mman/ |
H A D | msync.c | 4 int msync(void *start, size_t len, int flags) argument 6 return syscall_cp(SYS_msync, start, len, flags);
|
H A D | mprotect.c | 7 size_t start, end; local 8 start = (size_t)addr & -PAGE_SIZE; 10 return syscall(SYS_mprotect, start, end-start, prot);
|
H A D | munmap.c | 8 int __munmap(void *start, size_t len) argument 11 return syscall(SYS_munmap, start, len);
|
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | printer.h | 26 acpi_print_table(const void* start); 30 acpi_print_table_raw(const void* start, int length); 37 acpi_print_table(const void* start UNUSED) {} 40 acpi_print_table_raw(const void* start UNUSED, int length UNUSED) {}
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | printer.h | 26 acpi_print_table(const void* start); 30 acpi_print_table_raw(const void* start, int length); 37 acpi_print_table(const void* start UNUSED) {} 40 acpi_print_table_raw(const void* start UNUSED, int length UNUSED) {}
|
/seL4-refos-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 33 #define REG_EMPTY (region_t){ .start = 0, .end = 0 } 34 #define P_REG_EMPTY (p_region_t){ .start = 0, .end = 0 }
|
/seL4-refos-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-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/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/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++) { 22 cleanByVA(line, pstart + (line - start)); 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++) { 49 cleanInvalByVA(line, pstart + (line - start)); 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-refos-master/libs/librefos/src/ |
H A D | share.c | 41 refos_share_write_remaining_size(unsigned int start, unsigned int end, size_t bufSize) argument 43 return start > end ? ((start - end) - 1) : 44 ((bufSize - 1) - (end - start)); 48 refos_share_validate_params(size_t bufSize, int start, int end) { argument 50 if (start > bufSize || end > bufSize) return -1; 56 unsigned int *start, unsigned int *bytesRead) 64 if (!dest || !bufVaddr || !start || !bytesRead) { 69 if (refos_share_validate_params(bufSize, *start, end)) { 73 if (*start < 55 refos_share_read(char *dest, size_t len, char *bufVaddr, size_t bufSize, unsigned int *start, unsigned int *bytesRead) argument 102 unsigned int start = refos_share_get_start(bufVaddr); local [all...] |
/seL4-refos-master/projects/refos/impl/libs/librefos/src/ |
H A D | share.c | 41 refos_share_write_remaining_size(unsigned int start, unsigned int end, size_t bufSize) argument 43 return start > end ? ((start - end) - 1) : 44 ((bufSize - 1) - (end - start)); 48 refos_share_validate_params(size_t bufSize, int start, int end) { argument 50 if (start > bufSize || end > bufSize) return -1; 56 unsigned int *start, unsigned int *bytesRead) 64 if (!dest || !bufVaddr || !start || !bytesRead) { 69 if (refos_share_validate_params(bufSize, *start, end)) { 73 if (*start < 55 refos_share_read(char *dest, size_t len, char *bufVaddr, size_t bufSize, unsigned int *start, unsigned int *bytesRead) argument 102 unsigned int start = refos_share_get_start(bufVaddr); local [all...] |
/seL4-refos-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-refos-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-refos-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-refos-master/libs/librefos/include/refos-util/ |
H A D | cspace.h | 28 @param start The start of the cslot range to allocate from. 31 void csalloc_init(seL4_CPtr start, seL4_CPtr end); 40 @param start The start of the cslot range to allocate from. 42 @param buffer The static buffer to use. Must be at least ( sizeof(seL4_CPtr) * (start - end) ) 46 void csalloc_init_static(seL4_CPtr start, seL4_CPtr end, char* buffer, uint32_t bufferSz);
|