TPG_COLOR_RANDOM  870 drivers/media/common/v4l2-tpg/v4l2-tpg-core.c 	} else if (k == TPG_COLOR_RANDOM) {
TPG_COLOR_RANDOM 1108 drivers/media/common/v4l2-tpg/v4l2-tpg-core.c 	if (color == TPG_COLOR_RANDOM)
TPG_COLOR_RANDOM 1855 drivers/media/common/v4l2-tpg/v4l2-tpg-core.c 		gen_twopix(tpg, pix, TPG_COLOR_RANDOM, 0);
TPG_COLOR_RANDOM 1856 drivers/media/common/v4l2-tpg/v4l2-tpg-core.c 		gen_twopix(tpg, pix, TPG_COLOR_RANDOM, 1);