dcdrbu_exit(void) 
static __exit void dcdrbu_exit(void) 
dcdrbu_exit(void){	spin_lock(&rbu_data.lock);	packet_empty_list();	img_update_free();	spin_unlock(&rbu_data.lock);	platform_device_unregister(rbu_device);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dda8577fb5a00507e5aea737833190a10516b257/dell_rbu.c/buggy/drivers/firmware/dell_rbu.c