Symbol: dino_intr_string
sys/arch/hppa/dev/dino.c
164
const char *dino_intr_string(void *, pci_intr_handle_t);
sys/arch/hppa/dev/dino.c
1650
dino_intr_map, dino_intr_string,