diff --git a/drvTip810/drvTip810.c b/drvTip810/drvTip810.c
index eca098e..437b135 100644
--- a/drvTip810/drvTip810.c
+++ b/drvTip810/drvTip810.c
@@ -556,7 +556,7 @@ static void doCallbacks (
 */
 
 static void t810ISR (
-    int pdev
+    void* pdev
 ) {
     t810Dev_t *pdevice = (t810Dev_t *) pdev;
     int intSource = pdevice->pchip->interrupt;
@@ -728,7 +728,7 @@ long t810Initialise (
 	pdevice->busOffCount = 0;
 
 	status = ipmIntConnect(pdevice->card, pdevice->slot, pdevice->irqNum,
-			       t810ISR, (int)pdevice);
+			       t810ISR, (void*)pdevice);
 
 	/* The TIP810's intVec register is external to the PCA82C200 chip */
 	*((epicsUInt8 *) pdevice->pchip + 0x41) = pdevice->irqNum;
diff --git a/tyGSOctal/tyGSOctal_RTEMS.c b/tyGSOctal/tyGSOctal_RTEMS.c
index 9a7493c..68737cf 100644
--- a/tyGSOctal/tyGSOctal_RTEMS.c
+++ b/tyGSOctal/tyGSOctal_RTEMS.c
@@ -50,8 +50,9 @@ rtems_device_major_number tyGsOctalMajor;
  * Interrupt handler
  */
 static void
-tyGSOctalInt(int mod)
+tyGSOctalInt(void* pmod)
 {
+    int mod = (int)pmod;
     epicsUInt8 sr, isr;
     QUAD_TABLE *qt = &tyGSOctalModules[mod];
     SCC2698 *regs;
@@ -527,7 +528,7 @@ int tyGSOctalModuleInit
         }
 
         if (ipmIntConnect(carrier, slot, int_num, tyGSOctalInt,
-            tyGSOctalLastModule)) {
+            (void*)tyGSOctalLastModule)) {
             printf("%s: Unable to connect ISR", fn_nm);
             return -1;
         }