Symbol: hdmi_colorspace_get_name