PEX_CONFIG_ADDR
pc->pc_addr = (void *)(sc->sc_bsh + PEX_CONFIG_ADDR);
#define PCI_CONFIG_ADDR PEX_CONFIG_ADDR