Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/elx/efct/efct_hw.c efct_hw_command() -> efct_hw_cmd_submit_pending()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->cmd_ctx_pool 4096-ptr_max
PARAM_VALUE 0 hw->cmd_ctx_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hw->cmd_pending.prev->next->next 4096-ptr_max
PARAM_VALUE 0 hw->mq->index 0-4294967295
PARAM_VALUE 0 hw->os->pci->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 hw->sli.pci->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 hw->state 2
BUF_SIZE 0 hw (-1),36856
BUF_SIZE 0 hw (-1),36856
DATA_SOURCE 0 hw $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 hw->cmd_ctx_pool->min_nr
NO_OVERFLOW_SIMPLE 0 hw->config.n_io
NO_OVERFLOW_SIMPLE 0 hw->mbox_rqst_pool->min_nr
LOCK2 flags
LOCK2 0 &hw->cmd_lock
TYPE_LOCK (struct efct_hw)->cmd_lock

drivers/scsi/elx/efct/efct_hw.c efct_hw_command_process() -> efct_hw_cmd_submit_pending()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->cmd_head.next 4096-ptr_max
PARAM_VALUE 0 hw->mq->index 0-4294967295
PARAM_VALUE 0 hw->mq->u.r_idx 0-4294967295
PARAM_VALUE 0 hw->state 1-u32max
CAPPED_DATA 0 &hw->cmd_head 1
DATA_SOURCE 0 hw $0
PARAM_COMPARE 0 &hw->cmd_head != $0->cmd_head.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 hw->cmd_ctx_pool->min_nr
NO_OVERFLOW_SIMPLE 0 hw->config.n_io
NO_OVERFLOW_SIMPLE 0 hw->mbox_rqst_pool->min_nr
NO_OVERFLOW_SIMPLE 0 hw->sli.bmbx_non_emb_pmd->phys
NO_OVERFLOW_SIMPLE 0 hw->sli.bmbx_non_emb_pmd->size
NO_OVERFLOW_SIMPLE 0 hw->sli.pci->dev.cma_area->available_count
LOCK2 flags
LOCK2 0 &hw->cmd_lock
TYPE_LOCK (struct efct_hw)->cmd_lock