s3c_fb_set_rgb_timing 1468 drivers/video/fbdev/s3c-fb.c 	s3c_fb_set_rgb_timing(sfb);
s3c_fb_set_rgb_timing 1607 drivers/video/fbdev/s3c-fb.c 	s3c_fb_set_rgb_timing(sfb);