P5BUS_PCI_IO_SIZE
0, P5BUS_PCI_IO_SIZE);
(void *) P5BUS_PCI_IO_BASE, P5BUS_PCI_IO_SIZE);
p5pb_badaddr_range(sc, &(sc->pci_io_area), 0, P5BUS_PCI_IO_SIZE);