diff options
| author | Zheng Da <zhengda1936@gmail.com> | 2010-01-05 16:07:54 +0100 |
|---|---|---|
| committer | Zheng Da <zhengda1936@gmail.com> | 2010-01-05 16:07:54 +0100 |
| commit | f3b3a2ca7ee85517888940a35e652325fa38293f (patch) | |
| tree | adf0626af6d1e7b45e47a29fd53f84ab11f88cc6 | |
| parent | 85002dd39d65ff0c91bb6501197dc8067dbecaa5 (diff) | |
Declare fetch_jiffies in the header file.
| -rw-r--r-- | libddekit/include/ddekit/timer.h | 1 |
1 files changed, 1 insertions, 0 deletions
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 |