diff options
Diffstat (limited to 'cpukit/include/machine/_kernel_time.h')
-rw-r--r-- | cpukit/include/machine/_kernel_time.h | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/cpukit/include/machine/_kernel_time.h b/cpukit/include/machine/_kernel_time.h index cfd223f0b6..9279c1238a 100644 --- a/cpukit/include/machine/_kernel_time.h +++ b/cpukit/include/machine/_kernel_time.h @@ -1,7 +1,7 @@ /*- * SPDX-License-Identifier: BSD-3-Clause * - * Copyright (C) 2016 embedded brains GmbH + * Copyright (C) 2016 embedded brains GmbH & Co. KG * * Copyright (c) 1982, 1986, 1993 * The Regents of the University of California. All rights reserved. @@ -37,13 +37,13 @@ /** * @file * + * @ingroup RTEMSImplFreeBSDKernel + * * @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 +#if defined(_SYS_TIME_H_) && defined(_KERNEL) #include <machine/_timecounter.h> @@ -216,3 +216,7 @@ int tvtohz(struct timeval *tv); #define TIMESEL(sbt, sbt2) \ (((sbt2) >= sbt_timethreshold) ? \ ((*(sbt) = getsbinuptime()), 1) : ((*(sbt) = sbinuptime()), 0)) + +#else /* !_SYS_TIME_H_ || !_KERNEL */ +#error "must be included via <sys/time.h> in kernel space" +#endif /* _SYS_TIME_H_ && _KERNEL */ |