diff options
| -rw-r--r-- | sys/dev/pci/pci.c | 3 | ||||
| -rw-r--r-- | sys/pci/pci.c | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/sys/dev/pci/pci.c b/sys/dev/pci/pci.c index 5696c9f..fa17f0b 100644 --- a/sys/dev/pci/pci.c +++ b/sys/dev/pci/pci.c @@ -1,6 +1,6 @@ /************************************************************************** ** -** $Id: pci.c,v 1.9 1994/11/02 23:47:13 se Exp $ +** $Id: pci.c,v 1.12 1995/02/09 20:20:33 se Exp $ ** ** General subroutines for the PCI bus on 80*86 systems. ** pci_configure () @@ -65,6 +65,7 @@ #include <pci/pcireg.h> #include <pci/pcibus.h> +#include <machine/pmap.h> #ifdef __FreeBSD2__ #include <sys/devconf.h> diff --git a/sys/pci/pci.c b/sys/pci/pci.c index 5696c9f..fa17f0b 100644 --- a/sys/pci/pci.c +++ b/sys/pci/pci.c @@ -1,6 +1,6 @@ /************************************************************************** ** -** $Id: pci.c,v 1.9 1994/11/02 23:47:13 se Exp $ +** $Id: pci.c,v 1.12 1995/02/09 20:20:33 se Exp $ ** ** General subroutines for the PCI bus on 80*86 systems. ** pci_configure () @@ -65,6 +65,7 @@ #include <pci/pcireg.h> #include <pci/pcibus.h> +#include <machine/pmap.h> #ifdef __FreeBSD2__ #include <sys/devconf.h> |
