Symbol: dec_550_iointr
sys/arch/alpha/pci/pci_550.c
121
void dec_550_iointr(void *arg, unsigned long vec);
sys/arch/alpha/pci/pci_550.c
293
scb_set(0x900 + SCB_IDXTOVEC(ih), dec_550_iointr, NULL);