vga_mm_wseq       746 drivers/video/fbdev/tridentfb.c 	vga_mm_wseq(par->io_virt, NewMode1, 0x80);
vga_mm_wseq       748 drivers/video/fbdev/tridentfb.c 		vga_mm_wseq(par->io_virt, Protection, 0x92);
vga_mm_wseq       871 drivers/video/fbdev/tridentfb.c 		vga_mm_wseq(par->io_virt, ClockHigh, hi);
vga_mm_wseq       872 drivers/video/fbdev/tridentfb.c 		vga_mm_wseq(par->io_virt, ClockLow, lo);
vga_mm_wseq      1293 drivers/video/fbdev/tridentfb.c 	vga_mm_wseq(par->io_virt, 0, 3);
vga_mm_wseq      1294 drivers/video/fbdev/tridentfb.c 	vga_mm_wseq(par->io_virt, 1, 1); /* set char clock 8 dots wide */
vga_mm_wseq      1296 drivers/video/fbdev/tridentfb.c 	vga_mm_wseq(par->io_virt, 2, 0x0F);
vga_mm_wseq      1297 drivers/video/fbdev/tridentfb.c 	vga_mm_wseq(par->io_virt, 3, 0);
vga_mm_wseq      1298 drivers/video/fbdev/tridentfb.c 	vga_mm_wseq(par->io_virt, 4, 0x0E); /* memory mode enable bitmaps ?? */