diff --git a/sys/dev/pci/pci.c b/sys/dev/pci/pci.c
index a14c96f6e93..c776c9aee49 100644
--- a/sys/dev/pci/pci.c
+++ b/sys/dev/pci/pci.c
@@ -1,6 +1,6 @@
 /**************************************************************************
 **
-**  $Id: pci.c,v 1.32 1995/10/02 13:43:11 davidg Exp $
+**  $Id: pci.c,v 1.33 1995/11/20 12:42:23 phk Exp $
 **
 **  General subroutines for the PCI bus.
 **  pci_configure ()
@@ -63,6 +63,8 @@
 #include <machine/pmap.h>
 #include <sys/devconf.h>
 
+#include <i386/isa/isa_device.h>	/* XXX inthand2_t */
+
 #include <pci/pcivar.h>
 #include <pci/pcireg.h>
 #include <pci/pcibus.h>
diff --git a/sys/pci/pci.c b/sys/pci/pci.c
index a14c96f6e93..c776c9aee49 100644
--- a/sys/pci/pci.c
+++ b/sys/pci/pci.c
@@ -1,6 +1,6 @@
 /**************************************************************************
 **
-**  $Id: pci.c,v 1.32 1995/10/02 13:43:11 davidg Exp $
+**  $Id: pci.c,v 1.33 1995/11/20 12:42:23 phk Exp $
 **
 **  General subroutines for the PCI bus.
 **  pci_configure ()
@@ -63,6 +63,8 @@
 #include <machine/pmap.h>
 #include <sys/devconf.h>
 
+#include <i386/isa/isa_device.h>	/* XXX inthand2_t */
+
 #include <pci/pcivar.h>
 #include <pci/pcireg.h>
 #include <pci/pcibus.h>