 if (!dev->bus) return_VOID; 
void acpi_pci_irq_disable(struct pci_dev *dev){	int gsi = 0;	u8 pin = 0;	int edge_level = ACPI_LEVEL_SENSITIVE;	int active_high_low = ACPI_ACTIVE_LOW;	ACPI_FUNCTION_TRACE("acpi_pci_irq_disable");	if (!dev)		return_VOID;	pci_read_config_byte(dev, PCI_INTERRUPT_PIN, &pin);	if (!pin)		return_VOID;	pin--;	if (!dev->bus)		return_VOID;	/*	 * First we check the PCI IRQ routing table (PRT) for an IRQ.	 */	gsi = acpi_pci_irq_lookup(dev->bus, PCI_SLOT(dev->devfn), pin,				  &edge_level, &active_high_low, NULL,				  acpi_pci_free_irq);	/*	 * If no PRT entry was found, we'll try to derive an IRQ from the	 * device's parent bridge.	 */	if (gsi < 0)		gsi = acpi_pci_irq_derive(dev, pin,					  &edge_level, &active_high_low, NULL,					  acpi_pci_free_irq);	if (gsi < 0)		return_VOID;	/*	 * TBD: It might be worth clearing dev->irq by magic constant	 * (e.g. PCI_UNDEFINED_IRQ).	 */	printk(KERN_INFO PREFIX "PCI interrupt for device %s disabled\n",	       pci_name(dev));	acpi_unregister_gsi(gsi);	return_VOID;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5f0110f2a716376f3b260703835f527ca8900946/pci_irq.c/buggy/drivers/acpi/pci_irq.c