dino_intr_string
const char *dino_intr_string(void *, pci_intr_handle_t);
dino_intr_map, dino_intr_string,