hubp401_vready_at_or_After_vsync
hubp401_vready_at_or_After_vsync(hubp, pipe_global_sync, timing);
void hubp401_vready_at_or_After_vsync(struct hubp *hubp,