thomas 872b1a1f2a PCI I/O Start 16k because some devices allow only addresses ... up to 64k.		1999-01-01 19:54:52 +00:00
..
pci_machdep.c	PCI I/O Start 16k because some devices allow only addresses	1999-01-01 19:54:52 +00:00
pci_machdep.h