pci_cfgacc_add_workaround
pci_cfgacc_add_workaround(bdf, secbus, subbus);
extern void pci_cfgacc_add_workaround(uint16_t, uchar_t, uchar_t);