dino_intr_string
const char *dino_intr_string(void *, pci_intr_handle_t, char *, size_t);
.pc_intr_string = dino_intr_string,