Searched refs:size (Results 126 - 150 of 420) sorted by relevance

1234567891011>>

/seL4-refos-master/apps/process_server/src/system/addrspace/
H A Dvspace.c215 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 Dvspace.h108 @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 Diommu_dma.c34 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 Diommu_dma.c34 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 Dchardev.c35 .size = 0, \
43 .size = BIT(12), \
53 .size = 0, \
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dchardev.c35 .size = 0, \
43 .size = BIT(12), \
53 .size = 0, \
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/
H A Dwindow.c165 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 Dringbuffer.h62 uint32_t size; member in struct:rb_buffer
/seL4-refos-master/apps/process_server/src/system/memserv/
H A Dwindow.c165 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 Ddevice_io.c39 @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 Ddevice_io.c39 @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 Dfdtget.c83 * * 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 Dpthread_create.c184 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 Dacpi.c65 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 Dacpi.c65 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 Dplatform_init.c107 /* 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 Dplatform_init.c107 /* 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 Dvspace.h108 @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 Dcache.c39 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 Dproc_client_helper.h118 @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 Dinit.h45 uint32_t size; member in struct:sl_dataspace_s
/seL4-refos-master/libs/libsel4allocman/include/allocman/mspace/
H A Dk_r_malloc.h22 size_t size; member in struct:k_r_malloc_header::__anon631
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/
H A Dproc_client_helper.h118 @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 Dinit.h45 uint32_t size; member in struct:sl_dataspace_s
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/
H A Dk_r_malloc.h22 size_t size; member in struct:k_r_malloc_header::__anon781

Completed in 240 milliseconds

1234567891011>>