From f3b3a2ca7ee85517888940a35e652325fa38293f Mon Sep 17 00:00:00 2001 From: Zheng Da Date: Tue, 5 Jan 2010 16:07:54 +0100 Subject: Declare fetch_jiffies in the header file. --- libddekit/include/ddekit/timer.h | 1 + 1 file changed, 1 insertion(+) diff --git a/libddekit/include/ddekit/timer.h b/libddekit/include/ddekit/timer.h index c0bea6bf..435ba8aa 100644 --- a/libddekit/include/ddekit/timer.h +++ b/libddekit/include/ddekit/timer.h @@ -54,5 +54,6 @@ void ddekit_init_timers(void); /** Get the timer thread. */ ddekit_thread_t *ddekit_get_timer_thread(void); +extern long long fetch_jiffies (void); #endif -- cgit v1.2.3