doubleVCLK        362 drivers/video/fbdev/cirrusfb.c 	int doubleVCLK;
doubleVCLK        521 drivers/video/fbdev/cirrusfb.c 	cinfo->doubleVCLK = 0;
doubleVCLK        524 drivers/video/fbdev/cirrusfb.c 		cinfo->doubleVCLK = 1;
doubleVCLK        842 drivers/video/fbdev/cirrusfb.c 	if (cinfo->doubleVCLK)
doubleVCLK       1107 drivers/video/fbdev/cirrusfb.c 					cinfo->doubleVCLK ? 0xa3 : 0xa7);
doubleVCLK       1132 drivers/video/fbdev/cirrusfb.c 		WHDR(cinfo, cinfo->doubleVCLK ? 0xe1 : 0xc1);