Symbol: vga_wcrtcs
drivers/video/vgastate.c
286
vga_wcrtcs(state->vgabase, iobase, 17, saved->crtc[17] & ~0x80);
drivers/video/vgastate.c
288
vga_wcrtcs(state->vgabase, iobase, i, saved->crtc[i]);