timer: start switching platforms to platform_ naming

diff --git a/Kernel/platform-trs80/main.c b/Kernel/platform-trs80/main.c
index 84b414e..013dd1d 100644 (file)
--- a/Kernel/platform-trs80/main.c
+++ b/Kernel/platform-trs80/main.c
@@ -71,7 +71,7 @@ void platform_discard(void)
 __sfr __at 0xB0 rtc_secl;
 __sfr __at 0xB1 rtc_sech;
 
-uint8_t rtc_secs(void)
+uint8_t platform_rtc_secs(void)
 {
     uint8_t sl, rv;
     /* BCD encoded */

diff --git a/Kernel/timer.c b/Kernel/timer.c
index 4308f3f..7dbb235 100644 (file)
--- a/Kernel/timer.c
+++ b/Kernel/timer.c
@@ -99,7 +99,7 @@ void updatetod(void)
        tod_deci = 0;
 #endif
 
-       rtcnew = rtc_secs();            /* platform function */
+       rtcnew = platform_rtc_secs();           /* platform function */
 
        if (rtcnew == rtcsec)
                return;
@@ -115,7 +115,7 @@ addtod:
 
 void inittod(void)
 {
-       rtcsec = rtc_secs();
+       rtcsec = platform_rtc_secs();
 }
 
 #endif                         /* NO_RTC */