/seL4-camkes-master/projects/sel4runtime/src/ |
H A D | util.h | 24 #define ROUND_UP(n, b) \ macro
|
H A D | env.c | 351 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 D | common.c | 121 *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 D | sys_boot.c | 72 * 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 D | dataport.c | 55 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 D | elfloader_common.h | 20 #define ROUND_UP(n, b) (((((n) - 1) >> (b)) + 1) << (b)) macro
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | page_dma.c | 79 size = ROUND_UP(size, PAGE_SIZE_4K); 173 uintptr_t top = ROUND_UP(cur + 1, PAGE_SIZE_4K);
|
H A D | elf.c | 310 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 D | lwip.c | 260 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 D | guest_memory.c | 397 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 D | boot.h | 135 vptr_t end = ROUND_UP(v_reg.end, bits);
|
/seL4-camkes-master/kernel/include/ |
H A D | util.h | 12 #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 D | boot_sys.c | 98 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 D | boot.c | 159 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 D | arith.h | 79 #define ROUND_UP(n, b) \ macro
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | dma.c | 658 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 D | boot.c | 231 dtb_addr_start, ROUND_UP(dtb_addr_end, PAGE_BITS)
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
H A D | guest_boot_init.c | 84 size = ROUND_UP(size, PAGE_SIZE_4K);
|
H A D | guest_image.c | 241 uintptr_t load_addr = ROUND_UP(load_address, alignment);
|
H A D | acpi.c | 107 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 D | cdc.c | 320 cnt = ROUND_UP(len, MAX_XACT_SIZE) / MAX_XACT_SIZE;
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 231 *va_end = (uintptr_t) ROUND_UP(*va_end, PAGE_SIZE_4K);
|
H A D | vspace.c | 134 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 D | entry.c | 88 len = ROUND_UP(len, BMK_PCPU_PAGE_SIZE);
|
/seL4-camkes-master/kernel/src/arch/arm/kernel/ |
H A D | boot.c | 347 dtb_addr_start, ROUND_UP(dtb_addr_end, PAGE_BITS)
|