int
irr_video_endScene(irr_video_IVideoDriver* driver);
+ int
+ irr_video_getFPS(irr_video_IVideoDriver* driver);
+
+ const char*
+ irr_video_getName(irr_video_IVideoDriver* driver);
+
irr_video_ITexture*
irr_video_getTexture(irr_video_IVideoDriver* driver,
const char* filename);