diff options
| author | Paul Selkirk <paul@psgd.org> | 2017-05-25 16:09:46 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2017-05-25 16:09:46 -0400 |
| commit | c6543a796c8b560b06cb1d53fad9ffa3906df111 (patch) | |
| tree | c90f8a3057a6ed514721abdbd1afbec3e5558d2b /hal_internal.h | |
| parent | 052a0781ec41780b534aca749540ed5b939a721a (diff) | |
Add task_yield_maybe
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. |