/usr/src/linux-source-4.4.0/debian/scripts/retpoline-extract is in linux-source-4.4.0 4.4.0-133.159.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | #!/bin/bash
cd "$1" || exit 1
# Find all valid retpoline information, collate the detected and
# safe information together. Join the result to find the detected
# but non-safe elements. These are our concern.
tmp="/tmp/retpoline-check.$$"
find "." -path './drivers/firmware/efi/libstub' -prune -o \
-path './arch/x86/boot' -prune -o \
-path './arch/x86/purgatory' -prune -o \
-name \*.ur-detected | xargs cat | \
sed -e "s@^$1@@" -e "s@ $2/@ @" -e "s@^/@@" | \
sort -k 1b,1 >"$tmp.ur-detected"
find "." -name \*.ur-safe | xargs cat | \
sed -e "s@^$1@@" -e "s@^/@@" | \
sort -k 1b,1 >"$tmp.ur-safe"
join -v 1 -j 1 "$tmp.ur-detected" "$tmp.ur-safe" | sed -s 's/[^ ]* *//'
rm -f "$tmp".*
|