Searched refs:start_head_addr (Results 1 – 1 of 1) sorted by relevance
56 start_head_addr=$(grep " t start_first_256B$" .tmp_symbols.txt | cut -d' ' -f1)58 if [ "$start_head_addr" != "$expected_start_head_addr" ]; then59 echo "ERROR: head code starts at $start_head_addr, should be $expected_start_head_addr" 1>&2