awk -F' ' '
/^.\// { file=$1; sub(":.*", "", file); sub("^.*/", "", file); }
/^[0-9a-f][0-9a-f]* <.*>:/ { tag=$1; sub(".*<", "", tag); sub(">.*", "", tag); tag=file " " tag; }
- $3 ~ /(callq|jmpq) *\*%/ { print(tag " " $3); }
+ $3 ~ /(call|jmp)q? *\*%/ { print(tag " " $3); }
'