tag	line	file	source code
pr	519	arch/i386/kernel/bios32.c	int        pr;
pr	520	arch/i386/kernel/bios32.c	pr=vendor_decode(bus,dev_fn);
pr	523	arch/i386/kernel/bios32.c	,pci_vendor[pr].vendor_name
pr	524	arch/i386/kernel/bios32.c	,pci_device[device_decode(bus,dev_fn,pci_vendor[pr].vendor_id)].device_name
pr	529	arch/i386/kernel/bios32.c	if ((pr=interrupt_decod(bus,dev_fn))!=0)
pr	530	arch/i386/kernel/bios32.c	printk("8259's interrupt %d.",pr);