void lcd_ctrl_init (void *lcdbase);
void lcd_enable (void);
-void *lcd_base; /* Start of framebuffer memory */
-
static int pxafb_init_mem (void *lcdbase, vidinfo_t *vid);
static void pxafb_setup_gpio (vidinfo_t *vid);
static void pxafb_enable_controller (vidinfo_t *vid);