diff options
-rw-r--r-- | server/timer.c | 32 |
1 files changed, 20 insertions, 12 deletions
diff --git a/server/timer.c b/server/timer.c index 1bd8a74..724b0f6 100644 --- a/server/timer.c +++ b/server/timer.c @@ -40,6 +40,26 @@ without express or implied warranty. */ + +/* + * External functions: + * + * timer timer_set_rel (time_rel, proc, arg) + * long time_rel; + * void (*proc)(); + * caddr_t arg; + * timer timer_set_abs (time_abs, proc, arg) + * long time_abs; + * void (*proc)(); + * caddr_t arg; + * + * void timer_reset(tmr) + * timer tmr; + * + * void timer_process() + * + */ + #include <stdio.h> #include "zserver.h" @@ -210,7 +230,6 @@ insert_timer(new_t) void timer_process() { - register int i; register struct _timer *t; void (*queue)(); caddr_t queue_arg; @@ -257,14 +276,3 @@ timer_botch() syslog(LOG_CRIT, "Timer botch\n"); abort(); } - -void -print_timers() -{ - register timer t; - - printf("\nIt's currently %ld\n", NOW); - for (t=ALARM_NEXT(timers); t != timers; t = ALARM_NEXT(t)) { - printf("Timer %x: time %d\n", t, ALARM_TIME(t)); - } -} |