tag	line	file	source code
nprinted	716	drivers/pci/pci.c	int nprinted, len, size;
nprinted	725	drivers/pci/pci.c	nprinted = sprint_dev_config(dev, buf + len, size - len);
nprinted	726	drivers/pci/pci.c	if (nprinted < 0) {
nprinted	729	drivers/pci/pci.c	len += nprinted;