/pci_tseng.c/1.11/Tue Oct 20 19:10:11 2009//
/pci_vga.c/1.14/Tue Oct 20 19:10:11 2009//
/pci_vga.h/1.5/Tue Oct 20 19:10:11 2009//
/pciide_machdep.c/1.7/Sun Oct 28 03:04:10 2012//
/pci_hades.c/1.14/Sat Oct  3 03:13:13 2015//
/pci_milan.c/1.15/Mon Jan 29 03:01:11 2018//
/pci_machdep.c/1.56/Sat Feb 10 03:01:10 2018//
D
