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