VC4_HDMI_VERTB_VBP  488 drivers/gpu/drm/vc4/vc4_hdmi.c 				   VC4_HDMI_VERTB_VBP));
VC4_HDMI_VERTB_VBP  493 drivers/gpu/drm/vc4/vc4_hdmi.c 					VC4_HDMI_VERTB_VBP));