int host_video_init(int *stride, int no_dblbuf); void *host_video_flip(void);