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

/seL4-l4v-10.1.1/seL4/include/
H A Dutil.h17 #define ROUND_UP(n, b) (((((n) - 1ul) >> (b)) + 1ul) << (b)) macro
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot_sys.c141 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 Dboot.c307 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 Dboot.c72 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 Dffi.c37 #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 56 milliseconds