cpumask_t mask = pcibus_to_cpumask(to_pci_dev(dev)->bus); int len = cpumask_scnprintf(buf, PAGE_SIZE-2, mask); 
cpumask_t mask; int len;  mask = pcibus_to_cpumask(to_pci_dev(dev)->bus); len = cpumask_scnprintf(buf, PAGE_SIZE-2, mask); 
static ssize_t local_cpus_show(struct device *dev, struct device_attribute *attr, char *buf){			cpumask_t mask = pcibus_to_cpumask(to_pci_dev(dev)->bus);	int len = cpumask_scnprintf(buf, PAGE_SIZE-2, mask);	strcat(buf,"\n"); 	return 1+len;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4327edf6b8a7ac7dce144313947995538842d8fd/pci-sysfs.c/clean/drivers/pci/pci-sysfs.c