From: Alan Cox <alan@linux.intel.com>
Date: Sun, 8 Apr 2018 20:35:25 +0000 (+0100)
Subject: timer: start switching platforms to platform_ naming
X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=ebc86a9f021d8ae04fee716059aa24df3441a4b1;p=FUZIX.git

timer: start switching platforms to platform_ naming
---

diff --git a/Kernel/platform-trs80/main.c b/Kernel/platform-trs80/main.c
index 84b414e4..013dd1d5 100644
--- 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 4308f3f6..7dbb2355 100644
--- 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 */