free_pci_resource (ab->io_head); free_pci_resource (ab->tio_head); free_pci_resource (ab->bus_head); free_pci_resource (ab->tbus_head); free_pci_resource (ab->mem_head); free_pci_resource (ab->tmem_head); free_pci_resource (ab->p_mem_head); free_pci_resource (ab->tp_mem_head);  
static void free_a_bridge( struct acpi_bridge	*ab){	struct acpi_php_slot	*aps, *next;	switch (ab->type) {	case BRIDGE_TYPE_HOST:		dbg("Free ACPI PCI HOST Bridge(%x) [%s] on s:b:d:f(%x:%x:%x:%x)\n",			ab->bus, acpi_path_name(ab->handle), ab->seg, ab->pbus, ab->pdevice, ab->pfunction);		break;	case BRIDGE_TYPE_P2P:		dbg("Free ACPI PCI P2P Bridge(%x-%x) [%s] on s:b:d:f(%x:%x:%x:%x)\n",			ab->pbus, ab->bus, acpi_path_name(ab->handle), ab->seg, ab->pbus, ab->pdevice, ab->pfunction);		break;	};	/* free slots first */	for (aps = ab->slots; aps; aps = next) {		next = aps->next;		free_a_slot(aps);	}	free_pci_resource (ab->io_head);	free_pci_resource (ab->tio_head);	free_pci_resource (ab->bus_head);	free_pci_resource (ab->tbus_head);	free_pci_resource (ab->mem_head);	free_pci_resource (ab->tmem_head);	free_pci_resource (ab->p_mem_head);	free_pci_resource (ab->tp_mem_head);	kfree(ab);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/71b720c0f96145f5868c87591c286b290bc1a6af/pciehprm_acpi.c/buggy/drivers/pci/hotplug/pciehprm_acpi.c