/pci_tseng.c/1.3/Tue Jun 29 00:02:05 1999//
/pci_vga.c/1.1/Mon Mar 15 15:47:22 1999//
/pci_vga.h/1.1/Mon Mar 15 15:47:22 1999//
/pci_machdep.c/1.30/Sat Mar 10 11:52:31 2001//
D
