s3c2410fb_unmap_video_memory  997 drivers/video/fbdev/s3c2410fb.c 	s3c2410fb_unmap_video_memory(fbinfo);
s3c2410fb_unmap_video_memory 1038 drivers/video/fbdev/s3c2410fb.c 	s3c2410fb_unmap_video_memory(fbinfo);