--- vmmon-only/freebsd/driver.c.orig	Thu Jun 29 21:06:18 2000
+++ vmmon-only/freebsd/driver.c	Sat Sep 23 01:41:34 2000
@@ -73,6 +73,24 @@
 #include "private.h"
 #endif
 
+#if __FreeBSD_version >= 500013
+enum intr_type {
+    INTR_TYPE_TTY = 1,
+    INTR_TYPE_BIO = 2,
+    INTR_TYPE_NET = 4,
+    INTR_TYPE_CAM = 8,
+    INTR_TYPE_MISC = 16,
+    INTR_HEAVY = 32,			/* heavyweight interrupt process */
+    INTR_LIGHT = 64,			/* light weight interrupt thread */
+    INTR_THREADED = INTR_LIGHT | INTR_HEAVY, /* any kind of interrupt thread */
+    INTR_FAST = 128,
+    INTR_EXCL =	256,			/* exclusive interrupt */
+    INTR_MPSAFE = 512			/* this interrupt is SMP safe */
+};
+
+typedef void driver_intr_t(void*);
+#endif
+
 #ifdef SUPPORT_PASSTHROUGH
 #include "passthrough.h"	// _driver_ version of passthrough.h 
 #endif