raspberry pi port

[gpsp.git] / raspberrypi / gles_video.h

void video_init(uint32_t width,uint32_t height,uint32_t filter);
void video_close();
void video_draw(uint16_t *pixels);