diff options
Diffstat (limited to 'cpukit/include/machine/_timecounter.h')
| -rw-r--r-- | cpukit/include/machine/_timecounter.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/cpukit/include/machine/_timecounter.h b/cpukit/include/machine/_timecounter.h index 6a85e654cc..fc3d78c5ad 100644 --- a/cpukit/include/machine/_timecounter.h +++ b/cpukit/include/machine/_timecounter.h @@ -1,5 +1,12 @@ /* SPDX-License-Identifier: BSD-2-Clause */ +/** + * @file + * + * @brief This header file provides timecounter definitions for the kernel space + * (_KERNEL is defined before including <sys/time.h>) and RTEMS. + */ + /* * Copyright (C) 2016 embedded brains GmbH * |