Symbol: dec_axppci_33_intr_establish
sys/arch/alpha/pci/pci_axppci_33.c
58
void *dec_axppci_33_intr_establish(void *, pci_intr_handle_t,
sys/arch/alpha/pci/pci_axppci_33.c
84
pc->pc_intr_establish = dec_axppci_33_intr_establish;