s3c2410fb_cpufreq_deregister  995 drivers/video/fbdev/s3c2410fb.c 	s3c2410fb_cpufreq_deregister(info);
s3c2410fb_cpufreq_deregister 1033 drivers/video/fbdev/s3c2410fb.c 	s3c2410fb_cpufreq_deregister(info);