dino_conf_write
void dino_conf_write(void *, pcitag_t, int, pcireg_t);
.pc_conf_write = dino_conf_write,
dino_conf_write(sc, tag,