tag	line	file	source code
pr	698	arch/i386/kernel/bios32.c	int pr, length;
pr	701	arch/i386/kernel/bios32.c	pr = sprintf(buf, "PCI devices found :\n");
pr	702	arch/i386/kernel/bios32.c	for (length = pr ; (temp) && (length<4000); temp = temp->next)
pr	704	arch/i386/kernel/bios32.c	pr=vendor_decode(temp->bus,temp->dev_fn);
pr	713	arch/i386/kernel/bios32.c	pci_vendor[pr].vendor_name,
pr	714	arch/i386/kernel/bios32.c	pci_device[device_decode(temp->bus, temp->dev_fn, pr)].device_name,
pr	720	arch/i386/kernel/bios32.c	if ((pr = interrupt_decode(temp->bus, temp->dev_fn)) != 0)
pr	721	arch/i386/kernel/bios32.c	length += sprintf(buf+length, "8259's interrupt %d.", pr);