enqueue_seq
enqueue_seq(drvdata, desc, len);
enqueue_seq(drvdata, &req_mgr_h->compl_desc, 1);
enqueue_seq(drvdata, desc, len);
p->pid, p->comm, tctx->enqueue_seq);
tctx->enqueue_seq++;
p->pid, p->comm, tctx->enqueue_seq);
tctx->enqueue_seq++;
p->pid, p->comm, tctx->enqueue_seq);
tctx->enqueue_seq++;
p->pid, p->comm, tctx->state, tctx->enqueue_seq);
p->pid, p->comm, tctx->state, tctx->enqueue_seq);
u64 enqueue_seq; /* Sequence number for debugging */