From fb4542818becf613f86dc362bbeb2d3da2bb2975 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Mon, 24 Jul 2017 22:46:29 -0500
Subject: task! is not needed if tasks.$T.path is specified

---
 src/lib.rs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src')

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,
-- 
cgit v1.2.3