Symbol: specific_eoi
sys/arch/alpha/pci/sio_pic.c
135
static void specific_eoi(int);
sys/arch/alpha/pci/sio_pic.c
384
specific_eoi(i);
sys/arch/alpha/pci/sio_pic.c
408
specific_eoi(i);
sys/arch/alpha/pci/sio_pic.c
552
specific_eoi(irq);