redx              335 drivers/video/fbdev/core/fbmon.c 	specs->chroma.redx = tmp/1024;
redx              336 drivers/video/fbdev/core/fbmon.c 	DPRINTK("         RedX:     0.%03d ", specs->chroma.redx);
redx               53 include/linux/fb.h 	__u32 redx;	/* in fraction of 1024 */