vvcr              565 drivers/video/fbdev/tgafb.c 	u32 vhcr, vvcr, vvvr;
vvcr              571 drivers/video/fbdev/tgafb.c 	vvcr = TGA_READ_REG(par, TGA_VERT_REG);
vvcr              579 drivers/video/fbdev/tgafb.c 			TGA_WRITE_REG(par, vvcr & 0xbfffffff, TGA_VERT_REG);
vvcr              591 drivers/video/fbdev/tgafb.c 		TGA_WRITE_REG(par, vvcr | 0x40000000, TGA_VERT_REG);
vvcr              604 drivers/video/fbdev/tgafb.c 		TGA_WRITE_REG(par, vvcr | 0x40000000, TGA_VERT_REG);