diff options
Diffstat (limited to 'tools/guest-diag/dbg_seq.sh')
| -rwxr-xr-x | tools/guest-diag/dbg_seq.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/guest-diag/dbg_seq.sh b/tools/guest-diag/dbg_seq.sh new file mode 100755 index 0000000..247bc91 --- /dev/null +++ b/tools/guest-diag/dbg_seq.sh @@ -0,0 +1,5 @@ +#!/bin/bash +/tmp/ptio /tmp/cdt > /dev/null 2>/tmp/tr.log +n=$(grep -n 'req=0x25' /tmp/tr.log | head -1 | cut -d: -f1) +echo "marker line: $n" +sed -n "$((n-28)),$((n+2))p" /tmp/tr.log |