piped_diff        821 drivers/video/fbdev/controlfb.c 	int cmode, piped_diff, hstep;
piped_diff        835 drivers/video/fbdev/controlfb.c 			piped_diff = 13;
piped_diff        839 drivers/video/fbdev/controlfb.c 			piped_diff = 9;
piped_diff        848 drivers/video/fbdev/controlfb.c 			piped_diff = 5;
piped_diff        852 drivers/video/fbdev/controlfb.c 			piped_diff = 3;
piped_diff        864 drivers/video/fbdev/controlfb.c 		piped_diff = 1;
piped_diff        909 drivers/video/fbdev/controlfb.c 	piped = heblank - piped_diff;