diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-05-18 10:00:12 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-05-18 10:01:29 +0200 |
| commit | f49ef6b6cbb794f52b24eb6ec44e1783d5d007c5 (patch) | |
| tree | 97991ba86aeb3494d631300c4f5c8873fa827d74 /cpukit/include/machine/_kernel_time.h | |
| parent | Fix copyright notice of kernel space headers (diff) | |
| download | rtems-f49ef6b6cbb794f52b24eb6ec44e1783d5d007c5.tar.bz2 | |
Add file descriptions to kernel space headers
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 |