remove_proc_entry("ide/drivers", proc_ide_root); 
remove_proc_entry("drivers", proc_ide_root); 
void proc_ide_destroy(void){	remove_proc_entry("ide/drivers", proc_ide_root);	remove_proc_entry("ide", NULL);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/643bdc6fc0e1928f39b4a3f486447024216ca50f/ide-proc.c/clean/drivers/ide/ide-proc.c