From a32648c6e3d0df2a8a797199242605e7c7ca46ed Mon Sep 17 00:00:00 2001
From: Will Sowerbutts <will@sowerbutts.com>
Date: Sun, 22 Jan 2017 22:47:19 +0000
Subject: [PATCH] Kernel: n8vem-mark4, p112, zeta-v2: Move platform_param() to
 DISCARD

---
 Kernel/platform-n8vem-mark4/discard.c | 6 ++++++
 Kernel/platform-n8vem-mark4/main.c    | 6 ------
 Kernel/platform-p112/discard.c        | 6 ++++++
 Kernel/platform-p112/main.c           | 6 ------
 Kernel/platform-zeta-v2/discard.c     | 6 ++++++
 Kernel/platform-zeta-v2/main.c        | 6 ------
 6 files changed, 18 insertions(+), 18 deletions(-)

diff --git a/Kernel/platform-n8vem-mark4/discard.c b/Kernel/platform-n8vem-mark4/discard.c
index 94aadff1..c9003c53 100644
--- a/Kernel/platform-n8vem-mark4/discard.c
+++ b/Kernel/platform-n8vem-mark4/discard.c
@@ -32,3 +32,9 @@ void map_init(void)
     copy_and_map_process(&init_process->p_page);
     /* kernel bank udata (0x300 bytes) is never used again -- could be reused? */
 }
+
+uint8_t platform_param(unsigned char *p)
+{
+    used(p);
+    return 0;
+}
diff --git a/Kernel/platform-n8vem-mark4/main.c b/Kernel/platform-n8vem-mark4/main.c
index 05d4568c..49775af8 100644
--- a/Kernel/platform-n8vem-mark4/main.c
+++ b/Kernel/platform-n8vem-mark4/main.c
@@ -47,12 +47,6 @@ void platform_idle(void)
     __endasm;
 }
 
-uint8_t platform_param(unsigned char *p)
-{
-    used(p);
-    return 0;
-}
-
 void platform_interrupt(void)
 {
     switch(irqvector){
diff --git a/Kernel/platform-p112/discard.c b/Kernel/platform-p112/discard.c
index 70348630..d03aa485 100644
--- a/Kernel/platform-p112/discard.c
+++ b/Kernel/platform-p112/discard.c
@@ -61,3 +61,9 @@ void device_init(void)
     ds1302_init();
     tty_hw_init();
 }
+
+uint8_t platform_param(unsigned char *p)
+{
+    used(p);
+    return 0;
+}
diff --git a/Kernel/platform-p112/main.c b/Kernel/platform-p112/main.c
index 2d7edc9f..8f39b62f 100644
--- a/Kernel/platform-p112/main.c
+++ b/Kernel/platform-p112/main.c
@@ -48,12 +48,6 @@ void platform_idle(void)
     __endasm;
 }
 
-uint8_t platform_param(unsigned char *p)
-{
-    used(p);
-    return 0;
-}
-
 void platform_interrupt(void)
 {
     switch(irqvector){
diff --git a/Kernel/platform-zeta-v2/discard.c b/Kernel/platform-zeta-v2/discard.c
index dbf7caad..0119c15b 100644
--- a/Kernel/platform-zeta-v2/discard.c
+++ b/Kernel/platform-zeta-v2/discard.c
@@ -51,3 +51,9 @@ void device_init(void)
 	devide_init();
 #endif
 }
+
+uint8_t platform_param(unsigned char *p)
+{
+    used(p);
+    return 0;
+}
diff --git a/Kernel/platform-zeta-v2/main.c b/Kernel/platform-zeta-v2/main.c
index 7897cc5b..844b7509 100644
--- a/Kernel/platform-zeta-v2/main.c
+++ b/Kernel/platform-zeta-v2/main.c
@@ -31,12 +31,6 @@ void platform_idle(void)
 	__endasm;
 }
 
-uint8_t platform_param(unsigned char *p)
-{
-    used(p);
-    return 0;
-}
-
 void platform_interrupt(void)
 {
 	switch(irqvector) {
-- 
2.34.1