if(!controller) { 
if (controller) return -1; if (!(new_controller && new_controller->ops)) return -EINVAL; if (new_controller->irq) { if (!(new_controller->ops->enable_irq && new_controller->ops->disable_irq)) status = -EINVAL; if (request_irq(new_controller->irq, cpci_hp_intr, new_controller->irq_flags, MY_NAME, new_controller->dev_id)) { err("Can't get irq %d for the hotplug cPCI controller", new_controller->irq); status = -ENODEV; } dbg("%s - acquired controller irq %d", __FUNCTION__, new_controller->irq); } if (!status) 
cpci_hp_register_controller(struct cpci_hp_controller *new_controller){	int status = 0;	if(!controller) {		controller = new_controller;		if(controller->irq) {			if(request_irq(controller->irq,					cpci_hp_intr,					controller->irq_flags,					MY_NAME, controller->dev_id)) {				err("Can't get irq %d for the hotplug cPCI controller", controller->irq);				status = -ENODEV;			}			dbg("%s - acquired controller irq %d", __FUNCTION__,			    controller->irq);		}	} else {		err("cPCI hotplug controller already registered");		status = -1;	}	return status;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/bcc488ab02254a6e60d749187a632dc3d642d4f8/cpci_hotplug_core.c/buggy/drivers/pci/hotplug/cpci_hotplug_core.c