TS_USEDFPU
if (task_thread_info(tsk)->status & TS_USEDFPU) {
task_thread_info(tsk)->status &= ~TS_USEDFPU;
if (task_thread_info(tsk)->status & TS_USEDFPU) {
task_thread_info(tsk)->status &= ~TS_USEDFPU;
task_thread_info(tsk)->status |= TS_USEDFPU;
task_thread_info(tsk)->status |= TS_USEDFPU;
task_thread_info(tsk)->status |= TS_USEDFPU;
ti->status &= ~TS_USEDFPU;
if (!(task_thread_info(tsk)->status & TS_USEDFPU)) {
task_thread_info(tsk)->status |= TS_USEDFPU;