[PATCH 08/12] kern_tc.c: Add definition of tc_getfrequency in kern_tc

[Gabriel Moyano]

---
 cpukit/score/src/kern_tc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cpukit/score/src/kern_tc.c b/cpukit/score/src/kern_tc.c
index a8ba268ea3..dd718b3bab 100644
--- a/cpukit/score/src/kern_tc.c
+++ b/cpukit/score/src/kern_tc.c
@@ -1506,7 +1506,6 @@ unlock:
 #endif /* __rtems__ */
 }
 
-#ifndef __rtems__
 /* Report the frequency of the current timecounter. */
 uint64_t
 tc_getfrequency(void)
@@ -1515,6 +1514,7 @@ tc_getfrequency(void)
 	return (timehands->th_counter->tc_frequency);
 }
 
+#ifndef __rtems__
 static bool
 sleeping_on_old_rtc(struct thread *td)
 {
-- 
2.25.1