Searched refs:dir_prefix (Results 1 – 1 of 1) sorted by relevance
97 local dir_prefix=$3166 local file_lines=$(${ADDR2LINE} -fpie $objfile $addr | sed "s; $dir_prefix\(\./\)*; ;")