bonito_conf_write
void bonito_conf_write(void *, pcitag_t, int, pcireg_t);
pc->pc_conf_write = bonito_conf_write;