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

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dalloc.h47 #define DEFAULT_ALIGNMENT_BITS 3 macro
/seL4-l4v-10.1.1/l4v/tools/autocorres/experiments/alloc-proof/
H A Dalloc_lite.h47 #define DEFAULT_ALIGNMENT_BITS 3 macro

Completed in 77 milliseconds