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