AESNI_ALIGN
uint8_t enc_schedule[AES_SCHED_LEN] __aligned(AESNI_ALIGN);
uint8_t dec_schedule[AES_SCHED_LEN] __aligned(AESNI_ALIGN);
uint8_t xts_schedule[AES_SCHED_LEN] __aligned(AESNI_ALIGN);
KKASSERT((((uintptr_t)ptr) % AESNI_ALIGN) == 0); \
if (__predict_false((((uintptr_t)ptr) % AESNI_ALIGN) != 0)) \
.ctxalign = AESNI_ALIGN,
.ctxalign = AESNI_ALIGN,