s7a_workaround = 0; 
static void __init check_s7a(void){	struct device_node *root;	char *model;	root = of_find_node_by_path("/");	if (root) {		model = get_property(root, "model", NULL);		if (model && !strcmp(model, "IBM,7013-S7A"))			s7a_workaround = 1;		of_node_put(root);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dad32bbf43b496bcd32a83f73a1e7fd0a02cfd3e/pSeries_pci.c/buggy/arch/ppc64/kernel/pSeries_pci.c