class_simple_device_remove(MKDEV(MSR_MAJOR, cpu)); class_simple_destroy(msr_class); 
class_device_destroy(msr_class, MKDEV(MSR_MAJOR, cpu)); class_destroy(msr_class); 
static void __exit msr_exit(void){	int cpu = 0;	for_each_online_cpu(cpu)		class_simple_device_remove(MKDEV(MSR_MAJOR, cpu));	class_simple_destroy(msr_class);	unregister_chrdev(MSR_MAJOR, "cpu/msr");	unregister_cpu_notifier(&msr_class_cpu_notifier);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8874b414ffe037c39e73bb262ddf69653a13c0a4/msr.c/clean/arch/i386/kernel/msr.c