Searched refs:align_up (Results 1 - 4 of 4) sorted by relevance
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
H A D | alloc.c | 27 align_up(word_t val, word_t align_bits) function 78 size = align_up(size, ALLOC_CHUNK_SIZE_BITS); 90 word_t desired_start = align_up(node_start, alignment_bits); 140 size = align_up(size, ALLOC_CHUNK_SIZE_BITS);
|
/seL4-l4v-10.1.1/l4v/tools/autocorres/experiments/alloc-proof/ |
H A D | alloc_lite.c | 59 align_up(word_t val, word_t align_bits) function 96 size = align_up(size, ALLOC_CHUNK_SIZE_BITS);
|
/seL4-l4v-10.1.1/seL4/libsel4/tools/ |
H A D | syscall_stub_gen.py | 362 def align_up(x, a): function 389 bits_used = align_up(bits_used, min(type_size, wordsize))
|
/seL4-l4v-10.1.1/seL4/manual/tools/libsel4_tools/ |
H A D | syscall_stub_gen.py | 362 def align_up(x, a): function 389 bits_used = align_up(bits_used, min(type_size, wordsize))
|
Completed in 41 milliseconds