value            1142 dxref.c        	char *value = get_attr_value ("DW_AT_const_value", child);
value            1145 dxref.c        		  "%s = %s, ", href_info (id, get_name (name)), value);
value            1149 dxref.c        	xmlFree (value);
value            1554 dxref.c        	char *value = get_attr_value ("DW_AT_const_value", child);
value            1558 dxref.c        		 href_src1 (pathname, line, name), value, a_name (id));
value            1561 dxref.c        	xmlFree (value);
value            1628 dxref.c        	char *value    = get_attr_value ("DW_AT_const_value", child);
value            1658 dxref.c        	xmlFree (value);