profile_names    1655 drivers/media/platform/coda/coda-common.c 	const char * const *profile_names;
profile_names    1697 drivers/media/platform/coda/coda-common.c 	profile_names = v4l2_ctrl_get_menu(profile_cid);
profile_names    1705 drivers/media/platform/coda/coda-common.c 			 profile_names[profile]);