class_simple_device_remove(MKDEV(MSR_MAJOR, cpu)); 
class_device_destroy(msr_class, MKDEV(MSR_MAJOR, cpu)); 
static int __devinit msr_class_cpu_callback(struct notifier_block *nfb, unsigned long action, void *hcpu){	unsigned int cpu = (unsigned long)hcpu;	switch (action) {	case CPU_ONLINE:		msr_class_simple_device_add(cpu);		break;	case CPU_DEAD:		class_simple_device_remove(MKDEV(MSR_MAJOR, cpu));			break;	}	return NOTIFY_OK;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8874b414ffe037c39e73bb262ddf69653a13c0a4/msr.c/clean/arch/i386/kernel/msr.c