/seL4-refos-master/apps/process_server/src/system/addrspace/ |
H A D | vspace.c | 215 vs_create_window(struct vs_vspace *vs, vaddr_t vaddr, vaddr_t size, seL4_Word permissions, argument 224 if (w_associate_check(&vs->windows, vaddr, size) == false) { 229 dvprintf("attempted to create window 0x%x ��������� 0x%x.\n", vaddr, vaddr + size); 238 reservation_t r = vspace_reserve_range_at(&vs->vspace, (void*) vaddr, (size_t) size, 246 struct w_window *window = w_create_window(&procServ.windowList, size, vs->pid, 256 error = w_associate(&vs->windows, window->wID, vaddr, size); 302 vs_resize_window(struct vs_vspace *vs, int wID, vaddr_t size) argument 305 if (!size) { 324 if (size > awindow->size) { 501 vs_map_device(struct vs_vspace *vs, struct w_window *window, uint32_t windowOffset, uint32_t paddr , uint32_t size, bool cached) argument [all...] |
H A D | vspace.h | 108 @param size The size of the memory segment to create. 114 int vs_create_window(struct vs_vspace *vs, vaddr_t vaddr, vaddr_t size, seL4_Word permissions, 136 @param size The new window segment size. 139 int vs_resize_window(struct vs_vspace *vs, int wID, vaddr_t size); 169 @param size Size of the device frames. 174 uint32_t paddr , uint32_t size, bool cached);
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | iommu_dma.c | 34 static void unmap_range(dma_man_t *dma, uintptr_t addr, size_t size) argument 37 uintptr_t end = addr + size; 57 int sel4utils_iommu_dma_alloc_iospace(void *cookie, void *vaddr, size_t size) argument 64 uintptr_t end = (uintptr_t)vaddr + size; 84 /* work out the size of this page */ 146 static void *dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument 152 error = posix_memalign(&ret, align, size); 156 error = sel4utils_iommu_dma_alloc_iospace(cookie, ret, size); 169 static void dma_free(void *cookie, void *addr, size_t size) argument 172 unmap_range(dma, (uintptr_t)addr, size); 176 dma_pin(void *cookie, void *addr, size_t size) argument 181 dma_unpin(void *cookie, void *addr, size_t size) argument 185 dma_cache_op(void *cookie, void *addr, size_t size, dma_cache_op_t op) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | iommu_dma.c | 34 static void unmap_range(dma_man_t *dma, uintptr_t addr, size_t size) argument 37 uintptr_t end = addr + size; 57 int sel4utils_iommu_dma_alloc_iospace(void *cookie, void *vaddr, size_t size) argument 64 uintptr_t end = (uintptr_t)vaddr + size; 84 /* work out the size of this page */ 146 static void *dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument 152 error = posix_memalign(&ret, align, size); 156 error = sel4utils_iommu_dma_alloc_iospace(cookie, ret, size); 169 static void dma_free(void *cookie, void *addr, size_t size) argument 172 unmap_range(dma, (uintptr_t)addr, size); 176 dma_pin(void *cookie, void *addr, size_t size) argument 181 dma_unpin(void *cookie, void *addr, size_t size) argument 185 dma_cache_op(void *cookie, void *addr, size_t size, dma_cache_op_t op) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
H A D | chardev.c | 35 .size = 0, \ 43 .size = BIT(12), \ 53 .size = 0, \
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | chardev.c | 35 .size = 0, \ 43 .size = BIT(12), \ 53 .size = 0, \
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
H A D | window.c | 165 w_create_window(struct w_list *wlist, vaddr_t size, int ownerPID, seL4_Word permissions, argument 182 w->size = size; 260 w_resize_window(struct w_window *window, vaddr_t vaddr, vaddr_t size) argument 263 if (size == window->size) { 269 (void*) vaddr, size); 274 dvprintf("window ID %d resized from size 0x%x to 0x%x\n", window->wID, window->size, size); 330 w_associate(struct w_associated_windowlist *aw, int winID, vaddr_t offset, vaddr_t size) argument 474 w_associate_check(struct w_associated_windowlist *aw, vaddr_t offset, vaddr_t size) argument 492 w_associate_find_range(struct w_associated_windowlist *aw, vaddr_t offset, vaddr_t size) argument [all...] |
H A D | ringbuffer.h | 62 uint32_t size; member in struct:rb_buffer
|
/seL4-refos-master/apps/process_server/src/system/memserv/ |
H A D | window.c | 165 w_create_window(struct w_list *wlist, vaddr_t size, int ownerPID, seL4_Word permissions, argument 182 w->size = size; 260 w_resize_window(struct w_window *window, vaddr_t vaddr, vaddr_t size) argument 263 if (size == window->size) { 269 (void*) vaddr, size); 274 dvprintf("window ID %d resized from size 0x%x to 0x%x\n", window->wID, window->size, size); 330 w_associate(struct w_associated_windowlist *aw, int winID, vaddr_t offset, vaddr_t size) argument 474 w_associate_check(struct w_associated_windowlist *aw, vaddr_t offset, vaddr_t size) argument 492 w_associate_find_range(struct w_associated_windowlist *aw, vaddr_t offset, vaddr_t size) argument [all...] |
/seL4-refos-master/libs/librefos/src/refos-util/ |
H A D | device_io.c | 39 @param size The size in butes of the MMIO frames. 45 dev_io_map(void* cookie, uintptr_t paddr, size_t size, int cached, ps_mem_flags_t flags) argument 47 dvprintf("iomap paddr 0x%x sz 0x%x %s flags 0x%x.\n", (uint32_t) paddr, size, 64 (int) paddr, size, size); 89 @param size The size of previous mapped device frame(s) 92 dev_io_unmap(void *cookie, void *vaddr, size_t size) argument 94 dvprintf("iounmap vaddr 0x%x sz 0x%x.\n", (uint32_t) vaddr, size); 190 dev_dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument 197 dev_dma_free(void *cookie, void *addr, size_t size) argument 203 dev_dma_pin(void *cookie, void *addr, size_t size) argument 210 dev_dma_unpin(void *cookie, void *addr, size_t size) argument 216 dev_dma_cache_op(void *cookie, void *addr, size_t size, dma_cache_op_t op) argument [all...] |
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
H A D | device_io.c | 39 @param size The size in butes of the MMIO frames. 45 dev_io_map(void* cookie, uintptr_t paddr, size_t size, int cached, ps_mem_flags_t flags) argument 47 dvprintf("iomap paddr 0x%x sz 0x%x %s flags 0x%x.\n", (uint32_t) paddr, size, 64 (int) paddr, size, size); 89 @param size The size of previous mapped device frame(s) 92 dev_io_unmap(void *cookie, void *vaddr, size_t size) argument 94 dvprintf("iounmap vaddr 0x%x sz 0x%x.\n", (uint32_t) vaddr, size); 190 dev_dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument 197 dev_dma_free(void *cookie, void *addr, size_t size) argument 203 dev_dma_pin(void *cookie, void *addr, size_t size) argument 210 dev_dma_unpin(void *cookie, void *addr, size_t size) argument 216 dev_dma_cache_op(void *cookie, void *addr, size_t size, dma_cache_op_t op) argument [all...] |
/seL4-refos-master/projects/util_libs/libfdt/ |
H A D | fdtget.c | 83 * * we try to guess the data type / size from the contents. 92 int i, size; local 117 size = disp->size; 118 if (size == -1) { 119 size = (len % 4) == 0 ? 4 : 1; 120 } else if (len % size) { 122 "selected data size\n"); 128 for (i = 0; i < len; i += size, p += size) { [all...] |
/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | pthread_create.c | 184 size_t size, guard; local 218 size = attr._a_stacksize; 220 stack_limit = (void *)(attr._a_stackaddr - size); 224 if (need < size/8 && need < 2048) { 229 size = ROUND(need); 234 size = guard + ROUND(attr._a_stacksize 240 map = __mmap(0, size, PROT_NONE, MAP_PRIVATE|MAP_ANON, -1, 0); 242 if (__mprotect(map+guard, size-guard, PROT_READ|PROT_WRITE) 244 __munmap(map, size); 248 map = __mmap(0, size, PROT_REA [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | acpi.c | 65 split_available(RegionList_t* dst, size_t size, int force_ptr) argument 69 ZF_LOGD("Region 0/%d: size = %zu/%zu\n", dst->region_count, dst->regions[0].size, size); 72 index = find_space(dst, size, ACPI_AVAILABLE); 75 index = find_space(dst, size, ACPI_AVAILABLE_PTR); 82 index = split_region(dst, index, size); 92 int index = split_available(dlist, src->size, force_ptr); 97 memcpy(dst->start, src->start, src->size); 166 acpi_calc_checksum(dst->start, dst->size); [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | acpi.c | 65 split_available(RegionList_t* dst, size_t size, int force_ptr) argument 69 ZF_LOGD("Region 0/%d: size = %zu/%zu\n", dst->region_count, dst->regions[0].size, size); 72 index = find_space(dst, size, ACPI_AVAILABLE); 75 index = find_space(dst, size, ACPI_AVAILABLE_PTR); 82 index = split_region(dst, index, size); 92 int index = split_available(dlist, src->size, force_ptr); 97 memcpy(dst->start, src->start, src->size); 166 acpi_calc_checksum(dst->start, dst->size); [all...] |
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/ |
H A D | platform_init.c | 107 /* The physical address region [MON_VECTOR_START, MON_VECTOR_START + size) 118 uint32_t size = arm_monitor_vector_end - arm_monitor_vector; local 120 printf("Copy monitor mode vector from %x to %x size %x\n", (arm_monitor_vector), MON_VECTOR_START, size); 121 memcpy((void *)MON_VECTOR_START, (void *)(arm_monitor_vector), size); 197 uint32_t size = 0; local 199 while (size < IMX6_CSU_SIZE / sizeof(uint32_t)) { 203 size++;
|
/seL4-refos-master/tools/elfloader/src/plat/imx6/ |
H A D | platform_init.c | 107 /* The physical address region [MON_VECTOR_START, MON_VECTOR_START + size) 118 uint32_t size = arm_monitor_vector_end - arm_monitor_vector; local 120 printf("Copy monitor mode vector from %x to %x size %x\n", (arm_monitor_vector), MON_VECTOR_START, size); 121 memcpy((void *)MON_VECTOR_START, (void *)(arm_monitor_vector), size); 197 uint32_t size = 0; local 199 while (size < IMX6_CSU_SIZE / sizeof(uint32_t)) { 203 size++;
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
H A D | vspace.h | 108 @param size The size of the memory segment to create. 114 int vs_create_window(struct vs_vspace *vs, vaddr_t vaddr, vaddr_t size, seL4_Word permissions, 136 @param size The new window segment size. 139 int vs_resize_window(struct vs_vspace *vs, int wID, vaddr_t size); 169 @param size Size of the device frames. 174 uint32_t paddr , uint32_t size, bool cached);
|
/seL4-refos-master/kernel/src/arch/arm/armv/armv8-a/64/ |
H A D | cache.c | 39 word_t size, csselr_old; local 44 /* Read 'size' */ 45 MRS("ccsidr_el1", size); 48 return size;
|
/seL4-refos-master/libs/librefos/include/refos-rpc/ |
H A D | proc_client_helper.h | 118 @param size The size of the mem window. 124 proc_create_mem_window_ext(uint32_t vaddr, uint32_t size, uint32_t permission, uint32_t flags) argument 127 seL4_CPtr tcap = proc_create_mem_window_internal(vaddr, size, permission, flags, &errnoRetVal); 140 @param size The size of the mem window. 144 proc_create_mem_window(uint32_t vaddr, uint32_t size) argument 146 return proc_create_mem_window_ext(vaddr, size, PROC_WINDOW_PERMISSION_READWRITE, 0x0);
|
/seL4-refos-master/libs/librefos/include/refos-util/ |
H A D | init.h | 45 uint32_t size; member in struct:sl_dataspace_s
|
/seL4-refos-master/libs/libsel4allocman/include/allocman/mspace/ |
H A D | k_r_malloc.h | 22 size_t size; member in struct:k_r_malloc_header::__anon631
|
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/ |
H A D | proc_client_helper.h | 118 @param size The size of the mem window. 124 proc_create_mem_window_ext(uint32_t vaddr, uint32_t size, uint32_t permission, uint32_t flags) argument 127 seL4_CPtr tcap = proc_create_mem_window_internal(vaddr, size, permission, flags, &errnoRetVal); 140 @param size The size of the mem window. 144 proc_create_mem_window(uint32_t vaddr, uint32_t size) argument 146 return proc_create_mem_window_ext(vaddr, size, PROC_WINDOW_PERMISSION_READWRITE, 0x0);
|
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/ |
H A D | init.h | 45 uint32_t size; member in struct:sl_dataspace_s
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
H A D | k_r_malloc.h | 22 size_t size; member in struct:k_r_malloc_header::__anon781
|