vga_io_rseq       728 drivers/video/fbdev/tridentfb.c 	vga_io_rseq(0x0B);
vga_io_rseq      1484 drivers/video/fbdev/tridentfb.c 		revision = vga_io_rseq(RevisionID);
vga_io_rseq       718 drivers/video/fbdev/vga16fb.c 		par->vga_state.ClockingMode = vga_io_rseq(0x01);	/* ClockingMode */