diff --git a/src/include/dbDefs.h b/src/include/dbDefs.h
index f5af3ca71..84e2ad8dc 100644
--- a/src/include/dbDefs.h
+++ b/src/include/dbDefs.h
@@ -104,9 +104,26 @@
 #define NTO1HIGH	2
 #define NTO1AVE		3
 
+#ifdef vxWorks
 #define vxTicksPerSecond (sysClkRateGet())	/*clock ticks per second*/
+#include <sysLib.h>
+#endif
 
 #include <errMdef.h>
 #include <epicsTypes.h>
 
+#ifdef __STDC__
+int coreRelease(void);
+int iocLogInit(void);
+int rsrv_init(void);
+long postfix(char *pinfix,char *ppostfix,short *perror);
+long calcPerform( double *parg, double *presult, char  *post);
+#else
+int coreRelease();
+int iocLogInit();
+int rsrv_init();
+long postfix();
+long calcPerform();
+#endif /*__STDC__*/
+
 #endif /* INCdbDefsh */
diff --git a/src/libCom/misc/dbDefs.h b/src/libCom/misc/dbDefs.h
index f5af3ca71..84e2ad8dc 100644
--- a/src/libCom/misc/dbDefs.h
+++ b/src/libCom/misc/dbDefs.h
@@ -104,9 +104,26 @@
 #define NTO1HIGH	2
 #define NTO1AVE		3
 
+#ifdef vxWorks
 #define vxTicksPerSecond (sysClkRateGet())	/*clock ticks per second*/
+#include <sysLib.h>
+#endif
 
 #include <errMdef.h>
 #include <epicsTypes.h>
 
+#ifdef __STDC__
+int coreRelease(void);
+int iocLogInit(void);
+int rsrv_init(void);
+long postfix(char *pinfix,char *ppostfix,short *perror);
+long calcPerform( double *parg, double *presult, char  *post);
+#else
+int coreRelease();
+int iocLogInit();
+int rsrv_init();
+long postfix();
+long calcPerform();
+#endif /*__STDC__*/
+
 #endif /* INCdbDefsh */