int glXGetVideoSyncSGI(GLuint *count); int glXWaitVideoSyncSGI(GLuint divisor, GLuint remainder, GLuint *count);
glxWaitVideoSyncSGI()