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