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

/seL4-refos-master/libs/libsel4debug/src/
H A Dalloc.c58 #define MAX_ALIGNMENT (sizeof(void*) * 2) /* bytes */ macro
61 * an exact pointer value. Note that these should be less than MAX_ALIGNMENT so
85 } __attribute__((aligned(MAX_ALIGNMENT))) metadata_t;
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/
H A Dalloc.c58 #define MAX_ALIGNMENT (sizeof(void*) * 2) /* bytes */ macro
61 * an exact pointer value. Note that these should be less than MAX_ALIGNMENT so
85 } __attribute__((aligned(MAX_ALIGNMENT))) metadata_t;

Completed in 24 milliseconds