[PATCH v3 06/11] 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 133a6ea5e0..64a11bae20 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 EINVAL
+#include <rtems/score/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