#include <oskit/video/s3.h> oskit_fb_t *s3_init_framebuffer(void);
oskit_fb_t *s3_init_framebuffer(void);