gx1_frame_buffer_size   15 drivers/video/fbdev/geode/display_gx1.h int gx1_frame_buffer_size(void);
gx1_frame_buffer_size  222 drivers/video/fbdev/geode/gx1fb_core.c 	if ((fb_len = gx1_frame_buffer_size()) < 0)