diff --git a/cpukit/score/src/kern_ntptime.c b/cpukit/score/src/kern_ntptime.c
index da6b425064..c1b4013e9b 100644
--- a/cpukit/score/src/kern_ntptime.c
+++ b/cpukit/score/src/kern_ntptime.c
@@ -58,6 +58,9 @@ __FBSDID("$FreeBSD$");
 #include <sys/time.h>
 #include <sys/timex.h>
 #include <sys/timetc.h>
+#ifdef __rtems__
+#define	_KERNEL
+#endif /* __rtems__ */
 #include <sys/timepps.h>
 #ifndef __rtems__
 #include <sys/syscallsubr.h>