cpustate.set_addr = 0; cpustate.clr_addr = 0; 
cpustate.set_addr = NULL; cpustate.clr_addr = NULL; 
static int hdpu_cpustate_remove(struct device *ddev){	cpustate.set_addr = 0;	cpustate.clr_addr = 0;	remove_proc_entry("sky_cpustate", NULL);	misc_deregister(&cpustate_dev);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1ac19f4ccd8636dbe76a97cec36c95d7548cc871/hdpu_cpustate.c/buggy/drivers/misc/hdpuftrs/hdpu_cpustate.c