phb_conf_write
void phb_conf_write(void *, pcitag_t, int, pcireg_t);
sc->sc_pc.pc_conf_write = phb_conf_write;