[PATCH v2 07/12] kern_tc.c: Add definitions required by PPS API

[Gabriel Moyano]

---
 cpukit/score/src/kern_tc.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/cpukit/score/src/kern_tc.c b/cpukit/score/src/kern_tc.c
index 7c2feb5be3..7e030c50d4 100644
--- a/cpukit/score/src/kern_tc.c
+++ b/cpukit/score/src/kern_tc.c
@@ -56,6 +56,11 @@
 #define	timecounter _Timecounter
 #define	time_second _Timecounter_Time_second
 #define	time_uptime _Timecounter_Time_uptime
+
+#define ENOIOCTL -3
+#include <assert.h>
+#define KASSERT(exp, arg) _Assert(exp)
+
 #include <rtems/score/timecounterimpl.h>
 #include <rtems/score/atomic.h>
 #include <rtems/score/smp.h>
-- 
2.25.1