From ff5d6e091df5ff80a4a9f0c2e60673abf671c14a Mon Sep 17 00:00:00 2001
From: Oliver Schmidt <ol.sc@web.de>
Date: Wed, 31 Jul 2013 00:04:43 +0200
Subject: [PATCH] Recent changes in telnetd make exporting of those two
 necessary.

---
 core/sys/timer.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/core/sys/timer.h b/core/sys/timer.h
index 88a45850f..3bfdfa81f 100644
--- a/core/sys/timer.h
+++ b/core/sys/timer.h
@@ -88,10 +88,10 @@ struct timer {
   clock_time_t interval;
 };
 
-void timer_set(struct timer *t, clock_time_t interval);
+CCIF void timer_set(struct timer *t, clock_time_t interval);
 void timer_reset(struct timer *t);
 void timer_restart(struct timer *t);
-int timer_expired(struct timer *t);
+CCIF int timer_expired(struct timer *t);
 clock_time_t timer_remaining(struct timer *t);