Cross Reference: /linux-master/scripts/faddr2line

74 READELF="${UTIL_PREFIX}readelf${UTIL_SUFFIX}"
80 command -v ${READELF} >/dev/null 2>&1 || die "${READELF} isn't installed"
90 	local start_kernel_addr=$(${READELF} --symbols --wide $objfile | sed 's/\[.*\]//' |
128 	local file_type=$(${READELF} --file-header $objfile |
146 		sec_size=$(${READELF} --section-headers --wide $objfile |
157 		sec_name=$(${READELF} --section-headers --wide $objfile |
200 		done < <(${READELF} --symbols --wide $objfile | sed 's/\[.*\]//' | ${AWK} -v sec=$sym_sec '$7 == sec' | sort --key=2)
281 	done < <(${READELF} --symbols --wide $objfile | sed 's/\[.*\]//' | ${AWK} -v fn=$sym_name '$8 == fn')
294 ${READELF} --section-headers --wide $objfile | ${GREP} -q '\.debug_info' || die "CONFIG_DEBUG_INFO not enabled"