coco3: move to platform_rtc

diff --git a/Kernel/platform-coco3/dwtime.c b/Kernel/platform-coco3/dwtime.c
index df59892..fd44fde 100644 (file)
--- a/Kernel/platform-coco3/dwtime.c
+++ b/Kernel/platform-coco3/dwtime.c
@@ -108,7 +108,7 @@ DISC int dwtime_init( void )
 
 
 /* Called every every decisec from timer.c */
-uint8_t rtc_secs(void)
+uint8_t platform_rtc_secs(void)
 {
        static uint8_t ticks=10;
        static uint8_t longt=CONFIG_DWTIME_INTERVAL;