VC4_HDMI_SW_RESET_CONTROL  134 drivers/gpu/drm/vc4/vc4_hdmi.c 	VC4_REG32(VC4_HDMI_SW_RESET_CONTROL),
VC4_HDMI_SW_RESET_CONTROL  517 drivers/gpu/drm/vc4/vc4_hdmi.c 	HDMI_WRITE(VC4_HDMI_SW_RESET_CONTROL,
VC4_HDMI_SW_RESET_CONTROL  521 drivers/gpu/drm/vc4/vc4_hdmi.c 	HDMI_WRITE(VC4_HDMI_SW_RESET_CONTROL, 0);