update_hdmi_power_override  242 core/main.c            extern void update_hdmi_power_override(void);
update_hdmi_power_override  243 core/main.c            update_hdmi_power_override();