ext_col          1112 drivers/video/hdmi.c hdmi_extended_colorimetry_get_name(enum hdmi_extended_colorimetry ext_col)
ext_col          1114 drivers/video/hdmi.c 	switch (ext_col) {