diff --git a/src/libCom/osi/devLib.c b/src/libCom/osi/devLib.c
index ac999c9ff..ce2961239 100644
--- a/src/libCom/osi/devLib.c
+++ b/src/libCom/osi/devLib.c
@@ -280,7 +280,7 @@ LOCAL long devInstallAddr (
                 size, &pPhysicalAddress);
     if (status) {
         errPrintf (status, __FILE__, __LINE__, "%s base=0X%X size = 0X%X",
-            epicsAddressTypeName[addrType], base, size);
+            epicsAddressTypeName[addrType], (unsigned int)base, (unsigned int)size);
         return status;
     }
 
diff --git a/src/libCom/osi/os/RTEMS/devLibOSD.c b/src/libCom/osi/os/RTEMS/devLibOSD.c
index 7871c08b4..ad9207393 100644
--- a/src/libCom/osi/os/RTEMS/devLibOSD.c
+++ b/src/libCom/osi/os/RTEMS/devLibOSD.c
@@ -16,17 +16,19 @@
 
 #include <epicsStdio.h>
 #include <epicsExit.h>
-
-#if defined(__PPC__) /* && defined(mpc750) */
-
 #include <rtems.h>
 #include <bsp.h>
-#include <bsp/VME.h>
-#include <bsp/bspExt.h>
-
 #include "devLib.h"
 #include <epicsInterrupt.h>
 
+#if defined(__PPC__) || defined(__mcf528x__)
+
+#if defined(__PPC__)
+#include <bsp/VME.h>
+#include <bsp/bspExt.h>
+#endif
+
+
 typedef void    myISR (void *pParam);
 
 LOCAL myISR *isrFetch(unsigned vectorNumber, void **parg);
@@ -336,9 +338,3 @@ bcopyLongs(char *source, char *destination, int nlongs)
     while(nlongs--)
         *d++ = *s++;
 }
-
-void
-rebootHookAdd(void (*funptr)())
-{
-    epicsAtExit(funptr,NULL);
-}