Symbol: dec_1000_iointr
sys/arch/alpha/pci/pci_1000.c
218
scb_set(0x900 + SCB_IDXTOVEC(ih), dec_1000_iointr, NULL);
sys/arch/alpha/pci/pci_1000.c
99
void dec_1000_iointr(void *arg, unsigned long vec);