Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/elx/efct/efct_hw.c efct_hw_command_process() -> (struct efct_command_ctx)->cb()

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->cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hw->mq->index 0-4294967295
PARAM_VALUE 0 hw->mq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hw->mq->u.r_idx 0-4294967295
PARAM_VALUE 0 hw->state 1-u32max
PARAM_VALUE 1 status (-1)-u16max
BUF_SIZE 2 mqe 256
BUF_SIZE 3 arg 16,272
CAPPED_DATA 0 &hw->cmd_head 1
DATA_SOURCE 0 hw $0
DATA_SOURCE 1 status $1
CONTAINER 2 *(-16+32) $(-1)
CONTAINER 3 *(-16+24) $(-1)
PARAM_COMPARE 0 &hw->cmd_head != $0->cmd_head.next
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