taglinefilesource code
vendor_num510arch/i386/kernel/bios32.cint device_decode(unsigned char bus,unsigned char dev_fn,unsigned short vendor_num)
vendor_num519arch/i386/kernel/bios32.c&& (pci_vendor[vendor_num].vendor_id==pci_device[i].vendor_id)) return i;