diff options
Diffstat (limited to 'cpukit/include/machine/_kernel_time.h')
-rw-r--r-- | cpukit/include/machine/_kernel_time.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/cpukit/include/machine/_kernel_time.h b/cpukit/include/machine/_kernel_time.h index 1776447b9a..cfd223f0b6 100644 --- a/cpukit/include/machine/_kernel_time.h +++ b/cpukit/include/machine/_kernel_time.h @@ -34,6 +34,13 @@ * $FreeBSD$ */ +/** + * @file + * + * @brief This header file provides time definitions for the kernel space + * (_KERNEL is defined before including <sys/time.h>). + */ + #if !defined(_SYS_TIME_H_) || !defined(_KERNEL) #error "must be included via <sys/time.h> in kernel space" #endif |