Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/target_core_user.c queue_cmd_ring() -> tcmu_alloc_data_space()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->qfull_queue.next 4096-ptr_max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->se_cmd->se_dev->caw_sem.first_waiter->up 0-1
PARAM_VALUE 1 cmd->tcmu_dev 4096-ptr_max
PARAM_VALUE 1 cmd->tcmu_dev->qfull_queue.next 4096-ptr_max
PARAM_VALUE 2 iov_bidi_cnt 161914537425702912
CAPPED_DATA 0 &udev->qfull_queue 1
DATA_SOURCE 1 cmd $0
STR_LEN 1 cmd->se_cmd (-1)
PARAM_COMPARE 0 &udev->qfull_queue == $0->qfull_queue.next
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 cmd->se_cmd->residual_count 1-u32max
NO_OVERFLOW_SIMPLE 1 cmd->dbi_cnt
NO_OVERFLOW_SIMPLE 1 cmd->se_cmd->data_length
NO_OVERFLOW_SIMPLE 1 cmd->se_cmd->reftag_seed
NO_OVERFLOW_SIMPLE 1 cmd->se_cmd->sense_info
NO_OVERFLOW_SIMPLE 1 cmd->se_cmd->t_data_nents
NO_OVERFLOW_SIMPLE 1 cmd->se_cmd->t_data_nents_orig
NO_OVERFLOW_SIMPLE 1 cmd->se_cmd->t_prot_nents
NO_OVERFLOW_SIMPLE 1 cmd->se_cmd->t_task_lba
LOCK2 &udev->cmdr_lock
TYPE_LOCK (struct tcmu_dev)->cmdr_lock