Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/cavium/nitrox/nitrox_reqmgr.c post_se_instr() -> response_list_add()

Type Parameter Key Value
PARAM_VALUE 0 sr 4096-ptr_max
PARAM_VALUE 0 sr->status.counter 3
PARAM_VALUE 1 cmdq 4096-ptr_max
PARAM_VALUE 1 cmdq->cmd_qlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 cmdq->instr_size 0-255
BUF_SIZE 0 sr (-1),232
BUF_SIZE 0 sr (-1),232
BUF_SIZE 0 sr->cb_arg (-1)-s32max
DATA_SOURCE 0 sr $0
DATA_SOURCE 1 cmdq $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sr->in.sgmap_cnt
NO_OVERFLOW_SIMPLE 0 sr->instr.ih.s.gsz
NO_OVERFLOW_SIMPLE 0 sr->instr.ih.s.ssz
NO_OVERFLOW_SIMPLE 0 sr->instr.slc.s.ssz
NO_OVERFLOW_SIMPLE 0 sr->out.sgmap_cnt
LOCK2 bh
LOCK2 1 &cmdq->cmd_qlock
HALF_LOCKED2 1 &cmdq->backlog_qlock
TYPE_LOCK (struct nitrox_cmdq)->cmd_qlock