According to the specs this extension is written against OpenGL 3.2 specifications.

Does it mean if I have OpenGL 3.3 capable card, this extension should be supported ?

With my system ATI mobility radeon HD 4570 and latest drivers, under Linux (fglrxinfo reports OpenGL 3.3 compatibility profile context), only the GL_EXT_timer_query is defined in glext.h. (not tested under windows yet)

According to glATI.h, the value GL_TIME_ELAPSED is defined, but none of this extension functions are declared.

I'm a bit confused.

1. Should I use glATI.h instead of gl.h and glext.h ? What is this header for exactly ?
2. Should I download a new version of glext.h ? (and maybe other headers ?)
3. Should I declare the prototypes of the missing functions by myself ?

Thanks in advance.