static void __exit us3_freq_exit(void){	if (cpufreq_us3_driver) {		cpufreq_unregister_driver(cpufreq_us3_driver);		kfree(cpufreq_us3_driver);		cpufreq_us3_driver = NULL;		kfree(us3_freq_table);		us3_freq_table = NULL;	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/b2325fe1b7e5654fac9e9419423aa2c58a3dbd83/us3_cpufreq.c/clean/arch/sparc64/kernel/us3_cpufreq.c