/* i5000_put_devices 'put' all the devices that we have reserved via 'get'  */
static void i5000_put_devices(struct mem_ctl_info *mci)
/* i5000_put_devices 'put' all the devices that we have reserved via 'get'  */
static void i5000_put_devices(struct mem_ctl_info *mci)
{
	struct i5000_pvt *pvt;
	pvt = mci->pvt_info;
	pci_dev_put(pvt->branchmap_werrors);
	pci_dev_put(pvt->fsb_error_regs);
	pci_dev_put(pvt->branch_0);
	if (pvt->maxch >= CHANNELS_PER_BRANCH)
		pci_dev_put(pvt->branch_1);
}