Symbol: sio_iointr
sys/arch/alpha/pci/sio_pic.c
471
scb_set(0x800 + SCB_IDXTOVEC(irq), sio_iointr, NULL);
sys/arch/alpha/pci/siovar.h
35
void sio_iointr(void *framep, unsigned long vec);