vga_mm_rseq       743 drivers/video/fbdev/tridentfb.c 	vga_mm_rseq(par->io_virt, 0x0B);
vga_mm_rseq       955 drivers/video/fbdev/tridentfb.c 				tmp2 = vga_mm_rseq(par->io_virt, 0xC1);