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