diff --git a/src/dbStatic/devSup.h b/src/dbStatic/devSup.h
index 508b0a224..00739c8a8 100644
--- a/src/dbStatic/devSup.h
+++ b/src/dbStatic/devSup.h
@@ -54,8 +54,9 @@ typedef struct dsxt {   /* device support extension table */
 #define S_dev_noDeviceFound (M_devSup|23) /*No device found at specified address*/
 
 
-/* This routine is defined in src/misc/iocInit.c */
+/* These are defined in src/misc/iocInit.c */
 
+extern struct dsxt devSoft_DSXT;
 extern void devExtend(dsxt *pdsxt);
 
 
diff --git a/src/dev/softDev/devTimestamp.c b/src/dev/softDev/devTimestamp.c
index 72b27e1a0..b5814e2c1 100644
--- a/src/dev/softDev/devTimestamp.c
+++ b/src/dev/softDev/devTimestamp.c
@@ -25,16 +25,8 @@
 
 /* Extended device support to allow INP field changes */
 
-static long allow(struct dbCommon *prec) {
-    return 0;
-}
-
-static struct dsxt dsxtAllow = {
-    allow, allow
-};
-
 static long initAllow(int pass) {
-    if (pass == 0) devExtend(&dsxtAllow);
+    if (pass == 0) devExtend(&devSoft_DSXT);
     return 0;
 }