Symbol: vc5_hdmi_set_timings