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);