dragon: add used() in tty_sleeping to silence warning

Signed-off-by: Tormod Volden <debian.tormod@gmail.com>

diff --git a/Kernel/platform-dragon/devtty.c b/Kernel/platform-dragon/devtty.c
index ad11c8d..9419151 100644 (file)
--- a/Kernel/platform-dragon/devtty.c
+++ b/Kernel/platform-dragon/devtty.c
@@ -54,7 +54,7 @@ void tty_putc(uint8_t minor, unsigned char c)
 
 void tty_sleeping(uint8_t minor)
 {
-    minor;
+    used(minor);
 }
 
 void tty_setup(uint8_t minor)