cleanup_slots(); 
cpci_hp_stop(); cpci_hp_unregister_controller(controller); 
cpci_hotplug_exit(void){	/*	 * Clean everything up.	 */	cleanup_slots();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/bcc488ab02254a6e60d749187a632dc3d642d4f8/cpci_hotplug_core.c/clean/drivers/pci/hotplug/cpci_hotplug_core.c