Searched refs:ROUND_UP (Results 1 - 25 of 28) sorted by relevance

12

/seL4-camkes-master/projects/sel4runtime/src/
H A Dutil.h24 #define ROUND_UP(n, b) \ macro
H A Denv.c351 env.tls.memory_size = ROUND_UP(header->p_memsz, header->p_align);
384 return ROUND_UP(tls_base, env.tls.align);
418 + ROUND_UP(sizeof(thread_lookup_t), align)
420 + ROUND_UP(GAP_ABOVE_TP, align)
422 + ROUND_UP(mem_size, align);
/seL4-camkes-master/tools/seL4/elfloader-tool/src/
H A Dcommon.c121 *max_vaddr = ROUND_UP(*max_vaddr, PAGE_BITS);
230 dest_paddr = ROUND_UP(dest_paddr + image_size, PAGE_BITS);
343 next_phys_addr = dtb_phys_start = ROUND_UP(kernel_phys_end, PAGE_BITS);
357 next_phys_addr = ROUND_UP(next_phys_addr, PAGE_BITS);
364 next_phys_addr = ROUND_UP(kernel_phys_end, PAGE_BITS);
406 next_phys_addr = ROUND_DOWN(memory_region[0].end, PAGE_BITS) - ROUND_UP(total_user_image_size, PAGE_BITS);
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/
H A Dsys_boot.c72 * we ROUND_UP size in this calculation so that all aligned things
77 uintptr_t new_base = kernel_info.virt_region_start - (ROUND_UP(size, MAX_ALIGN_BITS));
80 size, ROUND_UP(size, MAX_ALIGN_BITS));
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/arm/
H A Ddataport.c55 size_t frame_top = MIN(ROUND_UP(current_offset + 1, page_size_of_region), end_offset);
/seL4-camkes-master/tools/seL4/elfloader-tool/include/
H A Delfloader_common.h20 #define ROUND_UP(n, b) (((((n) - 1) >> (b)) + 1) << (b)) macro
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dpage_dma.c79 size = ROUND_UP(size, PAGE_SIZE_4K);
173 uintptr_t top = ROUND_UP(cur + 1, PAGE_SIZE_4K);
H A Delf.c310 uintptr_t current_res_top = ROUND_UP((uintptr_t)regions[i].elf_vstart + regions[i].size, PAGE_SIZE_4K);
330 current_res_start = ROUND_UP((prev_res_start + prev_res_size) + 1, PAGE_SIZE_4K);
332 ZF_LOGF_IF(ROUND_UP(regions[i].size, PAGE_SIZE_4K) - current_res_size == PAGE_SIZE_4K,
/seL4-camkes-master/projects/util_libs/libethdrivers/src/
H A Dlwip.c260 new_payload = ROUND_UP(new_payload, lwip_iface->driver.dma_alignment);
280 uintptr_t next = ROUND_UP(loc + 1, PAGE_SIZE_4K);
369 uintptr_t next = ROUND_UP(loc + 1, PAGE_SIZE_4K);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/
H A Dguest_memory.c397 allocable_region = find_allocable_anon_region(vm, ROUND_UP(size, BIT(seL4_PageBits)));
425 allocable_region->alloc_addr += ROUND_UP(size, BIT(seL4_PageBits));
450 int num_pages = ROUND_UP(reservation->size, BIT(page_size)) >> page_size;
/seL4-camkes-master/kernel/include/kernel/
H A Dboot.h135 vptr_t end = ROUND_UP(v_reg.end, bits);
/seL4-camkes-master/kernel/include/
H A Dutil.h12 #define ROUND_UP(n, b) (((((n) - UL_CONST(1)) >> (b)) + UL_CONST(1)) << (b)) macro
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c98 v_reg.end = ROUND_UP(v_reg.end, PAGE_BITS);
454 mods_end_paddr = ROUND_UP(mods_end_paddr, PAGE_BITS);
693 tag = (multiboot2_tag_t const *)((word_t)tag + ROUND_UP(tag->size, 3));
H A Dboot.c159 it_v_reg.end = ROUND_UP(extra_bi_frame_vptr + BIT(extra_bi_size_bits), PAGE_BITS);
/seL4-camkes-master/projects/util_libs/libutils/include/utils/
H A Darith.h79 #define ROUND_UP(n, b) \ macro
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Ddma.c658 size = ROUND_UP(size, alignof(region_t));
712 size = ROUND_UP(size, __alignof__(region_t));
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dboot.c231 dtb_addr_start, ROUND_UP(dtb_addr_end, PAGE_BITS)
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dguest_boot_init.c84 size = ROUND_UP(size, PAGE_SIZE_4K);
H A Dguest_image.c241 uintptr_t load_addr = ROUND_UP(load_address, alignment);
H A Dacpi.c107 unsigned int num_pages = ROUND_UP(LOWER_BIOS_SIZE, BIT(seL4_PageBits)) >> seL4_PageBits;
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/
H A Dcdc.c320 cnt = ROUND_UP(len, MAX_XACT_SIZE) / MAX_XACT_SIZE;
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c231 *va_end = (uintptr_t) ROUND_UP(*va_end, PAGE_SIZE_4K);
H A Dvspace.c134 reservation->end = ROUND_UP(vaddr + bytes, PAGE_SIZE_4K);
670 uintptr_t new_end = ROUND_UP(((uintptr_t)(vaddr)) + bytes, PAGE_SIZE_4K);
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c88 len = ROUND_UP(len, BMK_PCPU_PAGE_SIZE);
/seL4-camkes-master/kernel/src/arch/arm/kernel/
H A Dboot.c347 dtb_addr_start, ROUND_UP(dtb_addr_end, PAGE_BITS)

Completed in 275 milliseconds

12