linux/fbdev.h

   1 int  vout_fbdev_init(int *w, int *h);
   2 void vout_fbdev_finish(void);
   3
   4 extern void *fbdev_buffers[];
   5 extern int fbdev_buffer_count;