shpchp_remove_ctrl_files(ctrl); 
static void __exit unload_shpchpd(void){	struct controller *ctrl;	struct controller *tctrl;	ctrl = shpchp_ctrl_list;	while (ctrl) {		cleanup_slots(ctrl);		kfree (ctrl->pci_bus);		ctrl->hpc_ops->release_ctlr(ctrl);		tctrl = ctrl;		ctrl = ctrl->next;		kfree(tctrl);	}	/* Stop the notification mechanism */	shpchp_event_stop_thread();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c2608a111b621d5cf0e4c2876d79e67333ce5341/shpchp_core.c/clean/drivers/pci/hotplug/shpchp_core.c