becc_pci_conf_read
pc->pc_conf_read = becc_pci_conf_read;
pcireg_t becc_pci_conf_read(void *, pcitag_t, int);