update_hdmi_power_override  250 core/main.c            extern void update_hdmi_power_override(void);
update_hdmi_power_override  251 core/main.c            update_hdmi_power_override();