class_simple_device_remove(MKDEV(CPUID_MAJOR, cpu)); class_simple_destroy(cpuid_class); 
class_device_destroy(cpuid_class, MKDEV(CPUID_MAJOR, cpu)); class_destroy(cpuid_class); 
static void __exit cpuid_exit(void){	int cpu = 0;	for_each_online_cpu(cpu)		class_simple_device_remove(MKDEV(CPUID_MAJOR, cpu));	class_simple_destroy(cpuid_class);	unregister_chrdev(CPUID_MAJOR, "cpu/cpuid");	unregister_cpu_notifier(&cpuid_class_cpu_notifier);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8874b414ffe037c39e73bb262ddf69653a13c0a4/cpuid.c/buggy/arch/i386/kernel/cpuid.c