/* * This is used by <machine/pci_machdep.h> to access the pba_pc member. It * can't use it directly since pcibus_attach_args has yet to be defined. */