Searched refs:ROUND_UP (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-10.1.1/seL4/include/ |
H A D | util.h | 17 #define ROUND_UP(n, b) (((((n) - 1ul) >> (b)) + 1ul) << (b)) macro
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
H A D | boot_sys.c | 141 v_reg.end = ROUND_UP(v_reg.end, PAGE_BITS); 509 mods_end_paddr = ROUND_UP(mods_end_paddr, PAGE_BITS); 752 tag = (multiboot2_tag_t const *)((word_t)tag + ROUND_UP(tag->size, 3));
|
H A D | boot.c | 307 it_v_reg.end = ROUND_UP(extra_bi_frame_vptr + extra_bi_size, PAGE_BITS);
|
/seL4-l4v-10.1.1/seL4/src/kernel/ |
H A D | boot.c | 72 if (ROUND_UP(ndks_boot.freemem[i].start, size_bits) - ndks_boot.freemem[i].start < 74 new_reg.start = ROUND_UP(ndks_boot.freemem[i].start, size_bits); 253 word_t size_bits = seL4_WordBits - 1 - clzl(ROUND_UP(extra_size, seL4_PageBits));
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/pa/ |
H A D | ffi.c | 37 #define ROUND_UP(v, a) (((size_t)(v) + (a) - 1) & ~((a) - 1)) macro 313 cif->bytes = 64 + ROUND_UP((z - 6) * sizeof(UINT32), MIN_STACK_SIZE);
|
Completed in 48 milliseconds