diff options
Diffstat (limited to 'sys/dev/pci/pci.c')
| -rw-r--r-- | sys/dev/pci/pci.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/sys/dev/pci/pci.c b/sys/dev/pci/pci.c index 7b1bfb2..13ca4c1 100644 --- a/sys/dev/pci/pci.c +++ b/sys/dev/pci/pci.c @@ -1,6 +1,6 @@ /************************************************************************** ** -** $Id: pci.c,v 1.45 1996/02/17 23:57:03 se Exp $ +** $Id: pci.c,v 1.46 1996/02/19 00:30:40 se Exp $ ** ** General subroutines for the PCI bus. ** pci_configure () @@ -55,8 +55,6 @@ #include <sys/proc.h> /* declaration of wakeup(), used by vm.h */ #include <sys/devconf.h> -#include <machine/cpu.h> /* bootverbose */ - #include <vm/vm.h> #include <vm/vm_param.h> #include <vm/pmap.h> |
