bonito_make_tag
pcitag_t bonito_make_tag(void *, int, int, int);
return bonito_make_tag(NULL, b, d, f);
pc->pc_make_tag = bonito_make_tag;