class_simple_device_remove(MKDEV(CPUID_MAJOR, cpu)); 
class_device_destroy(cpuid_class, MKDEV(CPUID_MAJOR, cpu)); 
static int __devinit cpuid_class_cpu_callback(struct notifier_block *nfb, unsigned long action, void *hcpu){	unsigned int cpu = (unsigned long)hcpu;	switch (action) {	case CPU_ONLINE:		cpuid_class_simple_device_add(cpu);		break;	case CPU_DEAD:		class_simple_device_remove(MKDEV(CPUID_MAJOR, cpu));		break;	}	return NOTIFY_OK;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8874b414ffe037c39e73bb262ddf69653a13c0a4/cpuid.c/buggy/arch/i386/kernel/cpuid.c