tag	line	file	source code
nprinted	591	drivers/pci/pci.c	int nprinted, len, size;
nprinted	600	drivers/pci/pci.c	nprinted = sprint_dev_config(dev, buf + len, size - len);
nprinted	601	drivers/pci/pci.c	if (nprinted < 0) {
nprinted	604	drivers/pci/pci.c	len += nprinted;