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