Symbol: eb64plus_iointr
sys/arch/alpha/pci/pci_eb64plus.c
101
void eb64plus_iointr(void *arg, unsigned long vec);
sys/arch/alpha/pci/pci_eb64plus.c
191
scb_set(0x900 + SCB_IDXTOVEC(ih), eb64plus_iointr, NULL);