Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/scsi/be2iscsi/be_mgmt.c beiscsi_boot_get_sinfo() -> free_mcc_wrb()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->mbox_lock.dep_map->name 0-255
PARAM_VALUE 0 ctrl->mbox_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ctrl->mbox_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ctrl->mbox_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ctrl->mbox_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 ctrl->mbox_lock.wait_lock.owner (-1)
PARAM_VALUE 0 ctrl->mbox_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 tag 1-31
BUF_SIZE 0 ctrl 2704
CAPPED_DATA 0 &ctrl->mbox_lock 1
NOCHECK_CALL
LOCK2 0 &ctrl->mbox_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct be_ctrl_info)->mbox_lock

drivers/scsi/be2iscsi/be_main.c beiscsi_bsg_request() -> free_mcc_wrb()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->mbox_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ctrl->pdev 4096-ptr_max
PARAM_VALUE 1 tag 1-31,u32max
DATA_SOURCE 1 tag r mgmt_vendor_specific_fw_cmd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

drivers/scsi/be2iscsi/be_cmds.c beiscsi_mccq_compl_wait() -> free_mcc_wrb()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->mbox_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 tag 1-16
DATA_SOURCE 1 tag $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rx_queue_mutex

drivers/scsi/be2iscsi/be_cmds.c beiscsi_process_mcc_compl() -> free_mcc_wrb()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->pdev 4096-ptr_max
PARAM_VALUE 0 ctrl->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ctrl->ptag_state 4096-ptr_max
PARAM_VALUE 1 tag 0-31
DATA_SOURCE 0 ctrl $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/be2iscsi/be_cmds.c beiscsi_process_mcc_compl() -> free_mcc_wrb()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->mcc_tag_status 4096-ptr_max
PARAM_VALUE 0 ctrl->pdev 4096-ptr_max
PARAM_VALUE 0 ctrl->ptag_state 4096-ptr_max
PARAM_VALUE 1 tag 0-31
CAPPED_DATA 1 tag 1
DATA_SOURCE 0 ctrl $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/be2iscsi/be_cmds.c beiscsi_process_mcc_compl() -> free_mcc_wrb()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->mcc_tag_status 4096-ptr_max
PARAM_VALUE 0 ctrl->pdev 4096-ptr_max
PARAM_VALUE 0 ctrl->ptag_state 4096-ptr_max
PARAM_VALUE 1 tag 0-31
DATA_SOURCE 0 ctrl $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock