Symbol: i82378_write_elcr
sys/arch/alpha/pci/sio_pic.c
142
static void i82378_write_elcr(int, uint8_t);
sys/arch/alpha/pci/sio_pic.c
159
sio_write_elcr = i82378_write_elcr;