Symbol: dec_axppci_33_intr_disestablish
sys/arch/alpha/pci/pci_axppci_33.c
60
void dec_axppci_33_intr_disestablish(void *, void *);
sys/arch/alpha/pci/pci_axppci_33.c
85
pc->pc_intr_disestablish = dec_axppci_33_intr_disestablish;