diff options
author | 2017-07-24 22:46:29 -0500 | |
---|---|---|
committer | 2017-07-24 22:46:29 -0500 | |
commit | fb4542818becf613f86dc362bbeb2d3da2bb2975 (patch) | |
tree | d683b7e44bf7143f271fe462914a3b8c33956a8b /src | |
parent | 74daa77fe07499df86bca1c0918718b416b35dfc (diff) | |
download | rtic-fb4542818becf613f86dc362bbeb2d3da2bb2975.tar.gz rtic-fb4542818becf613f86dc362bbeb2d3da2bb2975.tar.zst rtic-fb4542818becf613f86dc362bbeb2d3da2bb2975.zip |
task! is not needed if tasks.$T.path is specified
Diffstat (limited to 'src')
-rw-r--r-- | src/lib.rs | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -191,6 +191,10 @@ impl Threshold { impl !Send for Threshold {} /// Sets an interrupt as pending +/// +/// If the interrupt priority is high enough the interrupt will be serviced +/// immediately, otherwise it will be serviced at some point after the current +/// task ends. pub fn set_pending<I>(interrupt: I) where I: Nr, |