This has supported in Nvidia drivers for a while, but we just posted the spec:
http://www.nvidia.com/dev_content/nvopenglspecs/GL_EXT_timer_query.txt
It’s a good way to get accurate timing of your application without having to insert glFinish commands.