inno_hdmi_sys_power 193 drivers/gpu/drm/rockchip/inno_hdmi.c inno_hdmi_sys_power(hdmi, false); inno_hdmi_sys_power 205 drivers/gpu/drm/rockchip/inno_hdmi.c inno_hdmi_sys_power(hdmi, true); inno_hdmi_sys_power 209 drivers/gpu/drm/rockchip/inno_hdmi.c inno_hdmi_sys_power(hdmi, false);