Searched refs:alignment_bits (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dalloc.h49 void *alloc(struct heap *heap, word_t size, word_t alignment_bits);
H A Dalloc.c69 alloc(struct heap *heap, word_t size, word_t alignment_bits) argument
72 assert(alignment_bits < 32);
79 alignment_bits = max(alignment_bits, ALLOC_CHUNK_SIZE_BITS);
90 word_t desired_start = align_up(node_start, alignment_bits);

Completed in 84 milliseconds