diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-07-24 22:46:29 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-07-24 22:46:29 -0500 |
| commit | fb4542818becf613f86dc362bbeb2d3da2bb2975 (patch) | |
| tree | d683b7e44bf7143f271fe462914a3b8c33956a8b /src | |
| parent | 74daa77fe07499df86bca1c0918718b416b35dfc (diff) | |
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, |
