/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | allocman.c | 117 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 D | sys_morecore.c | 77 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 D | sys_morecore.c | 77 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 D | debug.h | 183 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 D | platform_init.c | 140 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 D | platform_init.c | 140 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 D | dataspace.h | 93 @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 D | dataspace.h | 93 @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 D | getgrouplist.c | 25 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 D | system.h | 294 * \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 D | elf.c | 88 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 D | elf.c | 88 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 D | debug.h | 132 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 D | vspace.c | 30 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 D | vspace.c | 30 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 D | dual_pool.c | 22 .fixed_pool_end = (size_t)config.pool + config.size,
|
H A D | fixed_pool.c | 37 fixed_pool->remaining = config.size;
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | elf.h | 27 #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 D | test_anon_ram.c | 32 test_assert(anon.size == 0x2000);
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | dual_pool.c | 22 .fixed_pool_end = (size_t)config.pool + config.size,
|
H A D | fixed_pool.c | 37 fixed_pool->remaining = config.size;
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | elf.h | 27 #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 D | test_anon_ram.c | 32 test_assert(anon.size == 0x2000);
|
/seL4-refos-master/libs/libmuslc/arch/aarch64/bits/ |
H A D | signal.h | 29 unsigned int size; member in struct:_aarch64_ctx
|
/seL4-refos-master/libs/libmuslc/arch/aarch64_sel4/bits/ |
H A D | signal.h | 29 unsigned int size; member in struct:_aarch64_ctx
|