Searched refs:size (Results 251 - 275 of 420) sorted by relevance

<<11121314151617

/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/
H A Dallocman.c117 static void *_try_watermark_mspace(allocman_t *alloc, size_t size, int *_error) argument
121 if (alloc->mspace_chunk[i].size == size) {
171 static void *_allocman_mspace_alloc(allocman_t *alloc, size_t size, int *_error, int use_watermark) argument
184 ret = _try_watermark_mspace(alloc, size, _error);
186 ZF_LOGI("Failed to fullfill recursive allocation from watermark, size %zu\n", size);
197 ret = alloc->mspace.alloc(alloc, alloc->mspace.mspace, size, &error);
207 ret = _try_watermark_mspace(alloc, size, _error);
209 ZF_LOGI("Regular mspace alloc failed, and watermark also failed. for size
313 allocman_mspace_alloc(allocman_t *alloc, size_t size, int *_error) argument
466 resize_array(allocman_t *alloc, size_t num, void **array, size_t *size, size_t *count, size_t item_size) argument
499 resize_slots_array(allocman_t *alloc, size_t num, cspacepath_t **slots, size_t *size, size_t *count) argument
[all...]
/seL4-refos-master/libs/librefossys/src/
H A Dsys_morecore.c77 refosIOState.procInfo->heapRegion.size) {
83 /* First work out the increase in size. */
85 (refosIOState.procInfo->heapRegion.vaddr + refosIOState.procInfo->heapRegion.size);
101 /* New size should now be lower. */
102 if (newbrk < refosIOState.procInfo->heapRegion.vaddr + refosIOState.procInfo->heapRegion.size) {
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/
H A Dsys_morecore.c77 refosIOState.procInfo->heapRegion.size) {
83 /* First work out the increase in size. */
85 (refosIOState.procInfo->heapRegion.vaddr + refosIOState.procInfo->heapRegion.size);
101 /* New size should now be lower. */
102 if (newbrk < refosIOState.procInfo->heapRegion.vaddr + refosIOState.procInfo->heapRegion.size) {
/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Ddebug.h183 word_t size, word_t rw)
209 if (size == 8 && !byte8WatchpointsSupported()) {
215 if (size == 8 && type != seL4_DataBreakpoint) {
181 Arch_decodeSetBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tk1/
H A Dplatform_init.c140 uint32_t size = arm_monitor_vector_end - arm_monitor_vector; local
143 printf("Copy monitor mode vector from %x to %x size %x\n", (arm_monitor_vector), MON_VECTOR_START, size);
144 memcpy((void *)MON_VECTOR_START, (void *)(arm_monitor_vector), size);
/seL4-refos-master/tools/elfloader/src/plat/tk1/
H A Dplatform_init.c140 uint32_t size = arm_monitor_vector_end - arm_monitor_vector; local
143 printf("Copy monitor mode vector from %x to %x size %x\n", (arm_monitor_vector), MON_VECTOR_START, size);
144 memcpy((void *)MON_VECTOR_START, (void *)(arm_monitor_vector), size);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/
H A Ddataspace.h93 @param size The size of the new dataspace in bytes.
96 struct ram_dspace *ram_dspace_create(struct ram_dspace_list *rdslist, size_t size);
141 /*! @brief Returns the size in bytes of the given dataspace.
142 @param dataspace The dataspace to retrieve size for.
149 @param size The new dataspace size.
152 int ram_dspace_expand(struct ram_dspace *dataspace, uint32_t size);
/seL4-refos-master/apps/process_server/src/system/memserv/
H A Ddataspace.h93 @param size The size of the new dataspace in bytes.
96 struct ram_dspace *ram_dspace_create(struct ram_dspace_list *rdslist, size_t size);
141 /*! @brief Returns the size in bytes of the given dataspace.
142 @param dataspace The dataspace to retrieve size for.
149 @param size The new dataspace size.
152 int ram_dspace_expand(struct ram_dspace *dataspace, uint32_t size);
/seL4-refos-master/libs/libmuslc/src/passwd/
H A Dgetgrouplist.c25 size_t size; local
50 while (!(rv = __getgrent_a(f, &gr, &buf, &size, &mem, &nmem, &res)) && res) {
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dsystem.h294 * \param size size of memory region to change
297 void mmu_set_region_dcache_behaviour(phys_addr_t start, size_t size,
302 phys_addr_t noncached_alloc(size_t size, size_t align);
/seL4-refos-master/libs/libelf/src/
H A Delf.c88 int elf_newFile(void *file, size_t size, elf_t *res) argument
90 return elf_newFile_maybe_unsafe(file, size, true, true, res);
93 int elf_newFile_maybe_unsafe(void *file, size_t size, bool check_pht, bool check_st, elf_t *res) argument
97 .elfSize = size
219 size_t size = elf_getSectionSize(elf, string_segment); local
220 if (string_table[size - 1] != 0) {
275 size_t size = elf_getSectionSize(elf, str_table_idx); local
277 if (str_table == NULL || offset > size) {
/seL4-refos-master/projects/util_libs/libelf/src/
H A Delf.c88 int elf_newFile(void *file, size_t size, elf_t *res) argument
90 return elf_newFile_maybe_unsafe(file, size, true, true, res);
93 int elf_newFile_maybe_unsafe(void *file, size_t size, bool check_pht, bool check_st, elf_t *res) argument
97 .elfSize = size
219 size_t size = elf_getSectionSize(elf, string_segment); local
220 if (string_table[size - 1] != 0) {
275 size_t size = elf_getSectionSize(elf, str_table_idx); local
277 if (str_table == NULL || offset > size) {
/seL4-refos-master/kernel/include/arch/x86/arch/machine/
H A Ddebug.h132 word_t size, word_t rw)
145 if (size == 8 && !byte8BreakpointsSupported()) {
130 Arch_decodeSetBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) argument
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c30 void *create_level(vspace_t *vspace, size_t size) argument
36 return bootstrap_create_level(vspace, size);
42 size / PAGE_SIZE_4K, seL4_PageBits);
46 memset(level, 0, size);
542 size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result)
545 void *vaddr = find_range(data, BYTES_TO_SIZE_BITS_PAGES(size, size_bits), size_bits);
554 perform_reservation(vspace, reservation, (uintptr_t) vaddr, size, rights, cacheable);
558 int sel4utils_reserve_range_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, argument
561 return sel4utils_reserve_range_no_alloc_aligned(vspace, reservation, size, seL4_PageBits,
573 ZF_LOGE("Invalid size bit
541 sel4utils_reserve_range_no_alloc_aligned(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result) argument
596 sel4utils_reserve_range_at_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument
610 sel4utils_reserve_range_at(vspace_t *vspace, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument
633 sel4utils_reserve_deferred_rights_range_at(vspace_t *vspace, void *vaddr, size_t size, int cacheable) argument
[all...]
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dvspace.c30 void *create_level(vspace_t *vspace, size_t size) argument
36 return bootstrap_create_level(vspace, size);
42 size / PAGE_SIZE_4K, seL4_PageBits);
46 memset(level, 0, size);
542 size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result)
545 void *vaddr = find_range(data, BYTES_TO_SIZE_BITS_PAGES(size, size_bits), size_bits);
554 perform_reservation(vspace, reservation, (uintptr_t) vaddr, size, rights, cacheable);
558 int sel4utils_reserve_range_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, argument
561 return sel4utils_reserve_range_no_alloc_aligned(vspace, reservation, size, seL4_PageBits,
573 ZF_LOGE("Invalid size bit
541 sel4utils_reserve_range_no_alloc_aligned(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result) argument
596 sel4utils_reserve_range_at_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument
610 sel4utils_reserve_range_at(vspace_t *vspace, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument
633 sel4utils_reserve_deferred_rights_range_at(vspace_t *vspace, void *vaddr, size_t size, int cacheable) argument
[all...]
/seL4-refos-master/libs/libsel4allocman/src/mspace/
H A Ddual_pool.c22 .fixed_pool_end = (size_t)config.pool + config.size,
H A Dfixed_pool.c37 fixed_pool->remaining = config.size;
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Delf.h27 #error "Word size unsupported"
40 uint32_t size; member in struct:sel4utils_elf_region
65 size as reported by a call to sel4utils_elf_num_regions
98 size as reported by a call to sel4utils_elf_num_regions
133 * @param section_size optional pointer to uint64_t to return the section size
/seL4-refos-master/projects/refos/impl/apps/test_os/src/
H A Dtest_anon_ram.c32 test_assert(anon.size == 0x2000);
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/mspace/
H A Ddual_pool.c22 .fixed_pool_end = (size_t)config.pool + config.size,
H A Dfixed_pool.c37 fixed_pool->remaining = config.size;
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Delf.h27 #error "Word size unsupported"
40 uint32_t size; member in struct:sel4utils_elf_region
65 size as reported by a call to sel4utils_elf_num_regions
98 size as reported by a call to sel4utils_elf_num_regions
133 * @param section_size optional pointer to uint64_t to return the section size
/seL4-refos-master/apps/test_os/src/
H A Dtest_anon_ram.c32 test_assert(anon.size == 0x2000);
/seL4-refos-master/libs/libmuslc/arch/aarch64/bits/
H A Dsignal.h29 unsigned int size; member in struct:_aarch64_ctx
/seL4-refos-master/libs/libmuslc/arch/aarch64_sel4/bits/
H A Dsignal.h29 unsigned int size; member in struct:_aarch64_ctx

Completed in 114 milliseconds

<<11121314151617