VC4_HDMI_VERTB0   148 drivers/gpu/drm/vc4/vc4_hdmi.c 	VC4_REG32(VC4_HDMI_VERTB0),
VC4_HDMI_VERTB0   565 drivers/gpu/drm/vc4/vc4_hdmi.c 	HDMI_WRITE(VC4_HDMI_VERTB0, vertb_even);