#include <linux/pci.h>#include <linux/init.h>int pci_range_ck(unsigned char bus, unsigned char dev){	if (((bus == 0) || (bus == 1)) && (dev >= 6) && (dev <= 8))		return 0;	return -1;}/* * After detecting all agents over the PCI , this function is called * in order to give an interrupt number for each PCI device starting * from IRQ 20. It does also enables master for each device. */void __devinit pcibios_fixup_bus(struct pci_bus *bus){	unsigned int irq = 20;	struct pci_bus *current_bus = bus;	struct pci_dev *dev;	struct list_head *devices_link;	list_for_each(devices_link, &(current_bus->devices)) {		dev = pci_dev_b(devices_link);		if (dev != NULL) {			dev->irq = irq++;			/* Assign an interrupt number for the device */			pci_write_config_byte(dev, PCI_INTERRUPT_LINE, irq);			pcibios_set_master(dev);		}	}}