dino_conf_write
void dino_conf_write(void *, pcitag_t, int, pcireg_t);
dino_conf_size, dino_conf_read, dino_conf_write,