diff options
-rwxr-xr-x | scripts/trace.pl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/trace.pl b/scripts/trace.pl index 75b899c5..5ae53fc0 100755 --- a/scripts/trace.pl +++ b/scripts/trace.pl @@ -408,7 +408,9 @@ while (<>) { } elsif ($tp_name eq 'i915:i915_request_in:') { my %req; - die if exists $db{$key}; + # preemption + delete $db{$key} if exists $db{$key}; + die unless exists $queue{$key}; die unless exists $submit{$key}; |