diff options
| -rw-r--r-- | sys/pci/xrpu.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/pci/xrpu.c b/sys/pci/xrpu.c index a6964bd..df2969d 100644 --- a/sys/pci/xrpu.c +++ b/sys/pci/xrpu.c @@ -6,7 +6,7 @@ * this stuff is worth it, you can buy me a beer in return. Poul-Henning Kamp * ---------------------------------------------------------------------------- * - * $Id: xrpu.c,v 1.6 1999/01/12 01:42:43 eivind Exp $ + * $Id: xrpu.c,v 1.7 1999/03/11 15:09:50 phk Exp $ * * A very simple device driver for PCI cards based on Xilinx 6200 series * FPGA/RPU devices. Current Functionality is to allow you to open and @@ -26,7 +26,7 @@ #include <sys/kernel.h> #include <sys/malloc.h> #include <sys/timepps.h> -#ifdef DEFVFS +#ifdef DEVFS #include <sys/devfsext.h> #endif #include <sys/xrpuio.h> |
