Searched refs:dir_prefix (Results 1 – 1 of 1) sorted by relevance
96 local dir_prefix=$3236 local output=$(${ADDR2LINE} $args $addr | sed "s; $dir_prefix\(\./\)*; ;")