More GL_EXT_framebuffer_object: rename some things, added device driver hooks.
5 files changed