Symbol: i82378_write_elcr
sys/arch/alpha/pci/sio_pic.c
141
void i82378_write_elcr(int, u_int8_t);
sys/arch/alpha/pci/sio_pic.c
165
sio_write_elcr = i82378_write_elcr;