debian/scripts/retpoline-extract

   1 #!/bin/bash
   2
   3 cd "$1" || exit 1
   4
   5 {
   6         echo "./vmlinux"
   7         find . -name \*.ko
   8 } | xargs objdump --disassemble | \
   9 awk -F' ' '
  10         /^.\//                          { file=$1; sub(":.*", "", file); sub("^.*/", "", file); }
  11         /^[0-9a-f][0-9a-f]* <.*>:/      { tag=$1; sub(".*<", "", tag); sub(">.*", "", tag); tag=file " " tag; }
  12         $3 ~ /(call|jmp)q?  *\*%/       { print(tag " " $3); }
  13 '