Searched refs:expected_start_text_addr (Results 1 – 1 of 1) sorted by relevance
68 expected_start_text_addr=$(grep " a text_start$" .tmp_symbols.txt | cut -d' ' -f1 | sed "s/^0/$top_…72 if [ "$start_text_addr" != "$expected_start_text_addr" ]; then73 echo "ERROR: start_text address is $start_text_addr, should be $expected_start_text_addr" 1>&2