diff options
author | Paul Selkirk <paul@psgd.org> | 2018-04-19 19:40:03 -0400 |
---|---|---|
committer | Paul Selkirk <paul@psgd.org> | 2018-04-19 19:40:03 -0400 |
commit | 110754870a5db73b064ae065b7927476c880b48a (patch) | |
tree | f082643a3fcf2cffc82b370955ac4426d7751741 /hal_internal.h | |
parent | 34cf7ef55d66886757a36eb327dc3e22be54c918 (diff) | |
parent | c6543a796c8b560b06cb1d53fad9ffa3906df111 (diff) |
Merge branch 'profiling' into hashsig
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 95785ae..b698611 100644 --- a/hal_internal.h +++ b/hal_internal.h @@ -153,6 +153,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. |