6 files changed, 55 insertions, 6 deletions
diff --git a/c/src/lib/libbsp/m68k/efi332/include/efi332.h b/c/src/lib/libbsp/m68k/efi332/include/efi332.h
index 1c1a3d0c17..f9a5584c1b 100644
--- a/c/src/lib/libbsp/m68k/efi332/include/efi332.h
+++ b/c/src/lib/libbsp/m68k/efi332/include/efi332.h
@@ -40,6 +40,15 @@
 
 
 /* macros/functions */
-void reboot(void) __attribute__ ((noreturn));
+
+/*
+ *  This prototype really should have the noreturn attribute but
+ *  that causes a warning since it appears that the routine does
+ *  return.
+ *
+ *   void reboot(void) __attribute__ ((noreturn));
+ */
+
+void reboot(void);
 
 #endif /* _EFI332_H_ */
diff --git a/c/src/lib/libbsp/m68k/efi332/start/start.c b/c/src/lib/libbsp/m68k/efi332/start/start.c
index 214f9bb564..63ed7be2f3 100644
--- a/c/src/lib/libbsp/m68k/efi332/start/start.c
+++ b/c/src/lib/libbsp/m68k/efi332/start/start.c
@@ -10,7 +10,15 @@ char * const __env[]= {""};
 
 int main(const int argc, char * const argv[], char * const env[]);
 
-void dumby_start ()  __attribute__ ((noreturn));
+/*
+ *  This prototype really should have the noreturn attribute but
+ *  that causes a warning since it appears that the routine does
+ *  return.
+ *
+ *   void dumby_start ()  __attribute__ ((noreturn));
+ */
+
+void dumby_start ();
 void  dumby_start() {
 
   /* We need to by-pass the link instruction since the RAM chip-
diff --git a/c/src/lib/libbsp/m68k/efi332/start332/start332.c b/c/src/lib/libbsp/m68k/efi332/start332/start332.c
index 214f9bb564..63ed7be2f3 100644
--- a/c/src/lib/libbsp/m68k/efi332/start332/start332.c
+++ b/c/src/lib/libbsp/m68k/efi332/start332/start332.c
@@ -10,7 +10,15 @@ char * const __env[]= {""};
 
 int main(const int argc, char * const argv[], char * const env[]);
 
-void dumby_start ()  __attribute__ ((noreturn));
+/*
+ *  This prototype really should have the noreturn attribute but
+ *  that causes a warning since it appears that the routine does
+ *  return.
+ *
+ *   void dumby_start ()  __attribute__ ((noreturn));
+ */
+
+void dumby_start ();
 void  dumby_start() {
 
   /* We need to by-pass the link instruction since the RAM chip-
diff --git a/c/src/lib/libbsp/m68k/efi68k/include/efi68k.h b/c/src/lib/libbsp/m68k/efi68k/include/efi68k.h
index becfa95c89..6aa16ce3c0 100644
--- a/c/src/lib/libbsp/m68k/efi68k/include/efi68k.h
+++ b/c/src/lib/libbsp/m68k/efi68k/include/efi68k.h
@@ -16,7 +16,15 @@
 
 /* macro/function definitions */
 #if 0
-static void reboot(void) __attribute__ ((noreturn));
+/*
+ *  This prototype really should have the noreturn attribute but
+ *  that causes a warning since it appears that the routine does
+ *  return.
+ *
+ *   void dumby_start ()  __attribute__ ((noreturn));
+ */
+
+static void reboot(void);
 __inline__ static void reboot() {asm("trap #15");}
 #else
 #define reboot() do {asm("trap #15");} while(0)
diff --git a/c/src/lib/libbsp/m68k/efi68k/start/start.c b/c/src/lib/libbsp/m68k/efi68k/start/start.c
index a3da42d100..eaf15df758 100644
--- a/c/src/lib/libbsp/m68k/efi68k/start/start.c
+++ b/c/src/lib/libbsp/m68k/efi68k/start/start.c
@@ -13,7 +13,15 @@ char * const __env[]= {""};
 
 int main(const int argc, char * const argv[], char * const env[]);
 
-void dumby_start ()  __attribute__ ((noreturn));
+/*
+ *  This prototype really should have the noreturn attribute but
+ *  that causes a warning since it appears that the routine does
+ *  return.
+ *
+ *   void dumby_start ()  __attribute__ ((noreturn));
+ */
+
+void dumby_start ();
 void  dumby_start() {
 
   /* We need to by-pass the link instruction since the RAM chip-
diff --git a/c/src/lib/libbsp/m68k/efi68k/start68k/start68k.c b/c/src/lib/libbsp/m68k/efi68k/start68k/start68k.c
index a3da42d100..eaf15df758 100644
--- a/c/src/lib/libbsp/m68k/efi68k/start68k/start68k.c
+++ b/c/src/lib/libbsp/m68k/efi68k/start68k/start68k.c
@@ -13,7 +13,15 @@ char * const __env[]= {""};
 
 int main(const int argc, char * const argv[], char * const env[]);
 
-void dumby_start ()  __attribute__ ((noreturn));
+/*
+ *  This prototype really should have the noreturn attribute but
+ *  that causes a warning since it appears that the routine does
+ *  return.
+ *
+ *   void dumby_start ()  __attribute__ ((noreturn));
+ */
+
+void dumby_start ();
 void  dumby_start() {
 
   /* We need to by-pass the link instruction since the RAM chip-