/seL4-test-master/projects/musllibc/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);
|
H A D | mmap.c | 15 void *__mmap(void *start, size_t len, int prot, int flags, int fd, off_t off) argument 29 return (void *)syscall(SYS_mmap2, start, len, prot, flags, fd, off/UNIT); 31 return (void *)syscall(SYS_mmap, start, len, prot, flags, fd, off);
|
/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/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) {}
|
H A D | regions.h | 28 void* start; member in struct:Region 37 * This offset is added to region start addresses when 56 * Sort regions by start address 70 Region_t new_region(region_type_t type, void *start, size_t size, int parent) argument 74 r.start = start; 83 void* start, size_t size, int parent) 85 return add_region(region_list, new_region(type, start, size, parent)); 90 void* start, const void* end, int parent) 92 return add_region(region_list, new_region(type, start, en 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...] |
H A D | walker.h | 26 acpi_sig_search(acpi_t* acpi, const char* sig, int sig_len, void* start, void* end);
|
/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 33 #define REG_EMPTY (region_t){ .start = 0, .end = 0 } 34 #define P_REG_EMPTY (p_region_t){ .start = 0, .end = 0 }
|
H A D | machine.h | 32 p_reg.start + PPTR_BASE_OFFSET, p_reg.end + PPTR_BASE_OFFSET 39 reg.start - PPTR_BASE_OFFSET, reg.end - PPTR_BASE_OFFSET
|
/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/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++) { 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-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/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | vspace_internal.h | 67 static int reserve_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, argument 70 while (start < end) { 71 int index = INDEX_FOR_LEVEL(start, 0); 82 start += BYTES_FOR_LEVEL(0); 87 static int reserve_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, argument 91 while (start < end) { 92 int index = INDEX_FOR_LEVEL(start, level_num); 93 /* align the start so we can check for alignment later */ 94 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num); 95 /* calculate the start o 144 clear_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, bool only_reserved) argument 160 clear_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, bool only_reserved) argument 194 update_entries_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, seL4_CPtr cap, uintptr_t cookie) argument 211 update_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, seL4_CPtr cap, uintptr_t cookie) argument 252 is_reserved_or_empty_bottom(vspace_bottom_level_t *level, uintptr_t start, uintptr_t end, uintptr_t good, uintptr_t bad) argument 266 is_reserved_or_empty_mid(vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, uintptr_t good, uintptr_t bad) argument 302 uintptr_t start = vaddr; local 308 reserve_entries_range(vspace_t *vspace, uintptr_t start, uintptr_t end, bool preserve_frames) argument 316 uintptr_t start = vaddr; local 321 clear_entries_range(vspace_t *vspace, uintptr_t start, uintptr_t end, bool only_reserved) argument 338 uintptr_t start = vaddr; local 343 is_reserved_or_empty_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end, uintptr_t good, uintptr_t bad) argument 352 uintptr_t start = vaddr; local 357 is_available_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end) argument 367 is_reserved_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end) argument [all...] |
/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++) {
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/ |
H A D | guest_ram.c | 28 static int push_guest_ram_region(vm_mem_t *guest_memory, uintptr_t start, size_t size, int allocated) argument 40 guest_memory->ram_regions[last_region].start = start; 51 return aa->start - bb->start; 77 guest_memory->ram_regions[i - 1].start + guest_memory->ram_regions[i - 1].size == guest_memory->ram_regions[i].start) { 89 static int expand_guest_ram_region(vm_t *vm, uintptr_t start, size_t bytes) argument 94 err = push_guest_ram_region(guest_memory, start, bytes, 0); 110 if (guest_memory->ram_regions[i].start < 205 vm_ram_mark_allocated(vm_t *vm, uintptr_t start, size_t bytes) argument 347 vm_ram_register_at(vm_t *vm, uintptr_t start, size_t bytes, bool untyped) argument 372 vm_ram_register_at_custom_iterator(vm_t *vm, uintptr_t start, size_t bytes, memory_map_iterator_fn map_iterator, void *cookie) argument 398 vm_ram_free(vm_t *vm, uintptr_t start, size_t bytes) argument [all...] |
/seL4-test-master/projects/seL4_libs/libsel4simple-default/src/ |
H A D | libsel4simple-default.c | 34 for (i = 0; i < bi->untyped.end - bi->untyped.start; i++) { 37 *frame_cap = bi->untyped.start + i; 50 for (i = 0; i < bi->untyped.end - bi->untyped.start; i++) { 53 return seL4_Untyped_Retype(bi->untyped.start + i, kobject_get_type(KOBJECT_FRAME, size_bits), 76 return (bi->sharedFrames.end - bi->sharedFrames.start) 77 + (bi->userImageFrames.end - bi->userImageFrames.start) 78 + (bi->userImagePaging.end - bi->userImagePaging.start) 79 + (bi->untyped.end - bi->untyped.start) 88 size_t shared_frame_range = bi->sharedFrames.end - bi->sharedFrames.start + SIMPLE_NUM_INIT_CAPS; 89 size_t user_img_frame_range = bi->userImageFrames.end - bi->userImageFrames.start [all...] |