aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Jorge Aparicio <jorge@japaric.io> 2017-07-24 22:46:29 -0500
committerGravatar Jorge Aparicio <jorge@japaric.io> 2017-07-24 22:46:29 -0500
commitfb4542818becf613f86dc362bbeb2d3da2bb2975 (patch)
treed683b7e44bf7143f271fe462914a3b8c33956a8b /src
parent74daa77fe07499df86bca1c0918718b416b35dfc (diff)
downloadrtic-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.rs4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/lib.rs b/src/lib.rs
index 1b50b3d0..ba42d1de 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -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,