index c94f6a0cbebccf296296246f44a8cf27e2a70163..61ecbe34e1eaac2ed4fe21f18e7555825e016e95 100644 (file)
--- a/driver/gator_trace_gpu.c
+++ b/driver/gator_trace_gpu.c
int last_pid = 0;
spin_lock(&mali_gpu_jobs_lock);
+ if (mali_gpu_jobs[unit][core].count == 0) {
+ spin_unlock(&mali_gpu_jobs_lock);
+ return;
+ }
--mali_gpu_jobs[unit][core].count;
count = mali_gpu_jobs[unit][core].count;
- BUG_ON(count < 0);
if (count) {
last_core = mali_gpu_jobs[unit][core].last_core;
last_tgid = mali_gpu_jobs[unit][core].last_tgid;