diff options
Diffstat (limited to 'hal_internal.h')
| -rw-r--r-- | hal_internal.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hal_internal.h b/hal_internal.h index 3aadb48..461feec 100644 --- a/hal_internal.h +++ b/hal_internal.h @@ -98,6 +98,7 @@ extern void hal_critical_section_end(void); extern void hal_ks_lock(void); extern void hal_ks_unlock(void); extern void hal_task_yield(void); +extern void hal_task_yield_maybe(void); /* * Thread sleep. Currently used only for bad-PIN delays. |