/seL4-refos-master/seL4_tools/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-refos-master/tools/elfloader/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-refos-master/seL4_tools/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-refos-master/tools/elfloader/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-refos-master/seL4_tools/elfloader-tool/include/ |
H A D | elfloader_common.h | 20 #define ROUND_UP(n, b) (((((n) - 1) >> (b)) + 1) << (b)) macro
|
/seL4-refos-master/tools/elfloader/include/ |
H A D | elfloader_common.h | 20 #define ROUND_UP(n, b) (((((n) - 1) >> (b)) + 1) << (b)) macro
|
/seL4-refos-master/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-refos-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-refos-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-refos-master/kernel/include/kernel/ |
H A D | boot.h | 135 vptr_t end = ROUND_UP(v_reg.end, bits);
|
/seL4-refos-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-refos-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-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | arith.h | 79 #define ROUND_UP(n, b) \ macro
|
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | arith.h | 79 #define ROUND_UP(n, b) \ macro
|
/seL4-refos-master/libs/librefos/src/refos-rpc/ |
H A D | rpc.c | 18 #define ROUND_UP(N, S) ((((N) + (S) - 1) / (S)) * (S)) macro
|
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-rpc/ |
H A D | rpc.c | 18 #define ROUND_UP(N, S) ((((N) + (S) - 1) / (S)) * (S)) macro
|
/seL4-refos-master/kernel/src/arch/riscv/kernel/ |
H A D | boot.c | 231 dtb_addr_start, ROUND_UP(dtb_addr_end, PAGE_BITS)
|
/seL4-refos-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-refos-master/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-refos-master/kernel/src/arch/arm/kernel/ |
H A D | boot.c | 347 dtb_addr_start, ROUND_UP(dtb_addr_end, PAGE_BITS)
|