Symbol: dec_6600_iointr
sys/arch/alpha/pci/pci_6600.c
221
scb_set(0x900 + SCB_IDXTOVEC(ih), dec_6600_iointr, NULL);
sys/arch/alpha/pci/pci_6600.c
89
void dec_6600_iointr(void *arg, unsigned long vec);