high_pc          1269 dxref.c            char *high_pc  = get_attr_value ("DW_AT_high_pc", node);
high_pc          1278 dxref.c        	     atoi (low_pc), atoi (high_pc), producer, id);
high_pc          1284 dxref.c            xmlFree (high_pc);
high_pc          1300 dxref.c            char *high_pc  = get_attr_value ("DW_AT_high_pc", node);
high_pc          1328 dxref.c            if (low_pc != NULL && high_pc != NULL) {
high_pc          1330 dxref.c        		 atoi (low_pc), atoi (high_pc),
high_pc          1359 dxref.c            xmlFree (high_pc);
high_pc          1371 dxref.c            char *high_pc  = get_attr_value ("DW_AT_high_pc", node);
high_pc          1378 dxref.c        	     (low_pc == NULL ? 0 : atoi (high_pc)));
high_pc          1386 dxref.c            xmlFree (high_pc);