vertb             486 drivers/gpu/drm/vc4/vc4_hdmi.c 	u32 vertb = (VC4_SET_FIELD(0, VC4_HDMI_VERTB_VSPO) |
vertb             566 drivers/gpu/drm/vc4/vc4_hdmi.c 	HDMI_WRITE(VC4_HDMI_VERTB1, vertb);