From 6de41c5fe9cbfdcc451b7760a0ffa006dcfd8a8e Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Thu, 27 Oct 2016 08:24:50 +0200
Subject: Provide kernel space header files

These kernel space header files must be provided for Newlib
172e2050d95b41861db858dd9bc43a3fb4a28987.
---
 cpukit/score/src/kern_tc.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cpukit/score/src/kern_tc.c')

diff --git a/cpukit/score/src/kern_tc.c b/cpukit/score/src/kern_tc.c
index 03d09971f2..65e6fea2d2 100644
--- a/cpukit/score/src/kern_tc.c
+++ b/cpukit/score/src/kern_tc.c
@@ -14,6 +14,7 @@
  */
 
 #ifdef __rtems__
+#include <sys/lock.h>
 #define	_KERNEL
 #define	binuptime(_bt) _Timecounter_Binuptime(_bt)
 #define	nanouptime(_tsp) _Timecounter_Nanouptime(_tsp)
-- 
cgit v1.2.3