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 88 milliseconds