Symbol: dec_axppci_33_intr_string
sys/arch/alpha/pci/pci_axppci_33.c
56
const char *dec_axppci_33_intr_string(void *, pci_intr_handle_t);
sys/arch/alpha/pci/pci_axppci_33.c
82
pc->pc_intr_string = dec_axppci_33_intr_string;