diff options
author | Paul Selkirk <paul@psgd.org> | 2017-04-25 22:14:49 -0400 |
---|---|---|
committer | Paul Selkirk <paul@psgd.org> | 2017-04-25 22:14:49 -0400 |
commit | 18c297c5f88681236aec2537f7e7f2d9b50fcd7e (patch) | |
tree | 7dbbfa8c1f144e8c30cff8084f69f9efe47df217 /hal_internal.h | |
parent | 22a58216681df01d20cfa0a5cfc5c49d15e6c606 (diff) |
adapt to the new experimental tasking system
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 f17179c..659cd27 100644 --- a/hal_internal.h +++ b/hal_internal.h @@ -97,6 +97,7 @@ extern void hal_critical_section_start(void); 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); /* * Logging. |