AES_SCHED_LEN
ses->dec_schedule = schedbase + AES_SCHED_LEN;
ses->xts_schedule = schedbase + AES_SCHED_LEN * 2;
uint8_t schedules[3 * AES_SCHED_LEN + AES_SCHED_ALIGN];
uint32_t aes_key[AES_SCHED_LEN/4];