diff options
Diffstat (limited to 'include/task.h')
| -rw-r--r-- | include/task.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/include/task.h b/include/task.h index 00368fbc34..1d80a0b2f7 100644 --- a/include/task.h +++ b/include/task.h @@ -171,6 +171,15 @@ int task_start(void); */ int task_start_called(void); +#ifdef CONFIG_FPU +/** + * Clear floating-point used flag for currently executing task. This means the + * FPU regs will not be stored on context switches until the next time floating + * point is used for currently executing task. + */ +void task_clear_fp_used(void); +#endif + /** * Enable an interrupt. */ |