taglinefilesource code
device_name714arch/i386/kernel/bios32.cpci_device[device_decode(temp->bus, temp->dev_fn, pr)].device_name,
device_name417include/linux/pci.hchar *device_name;