diff options
Diffstat (limited to 'arch/x86/tools/distill.awk')
| -rw-r--r-- | arch/x86/tools/distill.awk | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/arch/x86/tools/distill.awk b/arch/x86/tools/distill.awk index d433619bb86..c13c0ee48ab 100644 --- a/arch/x86/tools/distill.awk +++ b/arch/x86/tools/distill.awk @@ -15,6 +15,11 @@ BEGIN { fwait_str="9b\tfwait" } +/^ *[0-9a-f]+ <[^>]*>:/ { + # Symbol entry + printf("%s%s\n", $2, $1) +} + /^ *[0-9a-f]+:/ { if (split($0, field, "\t") < 3) { # This is a continuation of the same insn. |