 dbg("%s: calling release_ctlr\n", __FUNCTION__); 
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);		dbg("%s: calling release_ctlr\n", __FUNCTION__);		ctrl->hpc_ops->release_ctlr(ctrl);		tctrl = ctrl;		ctrl = ctrl->next;		kfree(tctrl);	}	/* Stop the notification mechanism */	shpchp_event_stop_thread();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7c8942f993dc069db0e0327a343bbec8a6e96074/shpchp_core.c/buggy/drivers/pci/hotplug/shpchp_core.c