_ALIGNED
uint8 fpu_state[512] _ALIGNED(16);
uint8 user_fpu_state[2688] _ALIGNED(64);
} _ALIGNED(16);
static struct arch_thread sInitialState _ALIGNED(16);
arch_thread gInitialState _ALIGNED(64);