2 #include <linux/kernel.h>
3 #include <arch/hwregs/intr_vect.h>
13 printk(
KERN_DEBUG "PCI: Setting latency timer of device %s to %d\n", pci_name(dev), lat);
46 start = (start + 0x3ff) & ~0x3ff;
59 for(idx=0; idx<6; idx++) {
61 if (!(mask & (1<<idx)))
66 printk(
KERN_ERR "PCI: Device %s not available because of resource collisions\n", pci_name(dev));
77 printk(
"PCI: Enabling device %s (%04x -> %04x)\n", pci_name(dev), old_cmd, cmd);