diff options
Diffstat (limited to 'cpukit/libcsupport/include/machine/_kernel_time.h')
-rw-r--r-- | cpukit/libcsupport/include/machine/_kernel_time.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cpukit/libcsupport/include/machine/_kernel_time.h b/cpukit/libcsupport/include/machine/_kernel_time.h index 51fa719442..8200b6a73e 100644 --- a/cpukit/libcsupport/include/machine/_kernel_time.h +++ b/cpukit/libcsupport/include/machine/_kernel_time.h @@ -28,6 +28,8 @@ #error "must be included via <sys/time.h> in kernel space" #endif +#include <machine/_timecounter.h> + /* Operations on timespecs */ #define timespecclear(tvp) ((tvp)->tv_sec = (tvp)->tv_nsec = 0) #define timespecisset(tvp) ((tvp)->tv_sec || (tvp)->tv_nsec) |