Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->commands.xa_flags 4-u32max
PARAM_VALUE 0 udev->commands.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 udev->data_pages.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 udev->dbi_max 1-64
PARAM_VALUE 0 udev->mb_addr 4096-ptr_max
PARAM_VALUE 0 udev->qfull_queue.next 4096-ptr_max
PARAM_VALUE 1 tcmu_cmd 4096-ptr_max
PARAM_VALUE 1 tcmu_cmd->dbi_cur 0
PARAM_VALUE 1 tcmu_cmd->se_cmd 4096-ptr_max
PARAM_VALUE 1 tcmu_cmd->se_cmd->se_dev->caw_sem.first_waiter->up 0-1
PARAM_VALUE 1 tcmu_cmd->se_cmd->t_task_cdb 4096-ptr_max
PARAM_VALUE 1 tcmu_cmd->tcmu_dev 4096-ptr_max
PARAM_VALUE 1 tcmu_cmd->tcmu_dev->commands.xa_flags 4-u32max
PARAM_VALUE 1 tcmu_cmd->tcmu_dev->commands.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 tcmu_cmd->tcmu_dev->data_pages.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 tcmu_cmd->tcmu_dev->dbi_max 1-64
PARAM_VALUE 1 tcmu_cmd->tcmu_dev->mb_addr 4096-ptr_max
PARAM_VALUE 1 tcmu_cmd->tcmu_dev->qfull_queue.next 4096-ptr_max
PARAM_VALUE 2 iov 5204378503413071872
CAPPED_DATA 0 &udev->qfull_queue 1
CAPPED_DATA 1 tcmu_cmd 1
CAPPED_DATA 1 tcmu_cmd->dbi_cnt 1
DATA_SOURCE 1 tcmu_cmd $0
STR_LEN 1 tcmu_cmd->se_cmd (-1)
PARAM_COMPARE 0 &udev->qfull_queue == $0->qfull_queue.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tcmu_cmd->se_cmd->residual_count 1-u32max
NO_OVERFLOW_SIMPLE 0 udev->dbi_thresh
NO_OVERFLOW_SIMPLE 1 tcmu_cmd->dbi_cnt
NO_OVERFLOW_SIMPLE 1 tcmu_cmd->se_cmd->data_length
NO_OVERFLOW_SIMPLE 1 tcmu_cmd->se_cmd->reftag_seed
NO_OVERFLOW_SIMPLE 1 tcmu_cmd->se_cmd->sense_info
NO_OVERFLOW_SIMPLE 1 tcmu_cmd->se_cmd->t_data_nents
NO_OVERFLOW_SIMPLE 1 tcmu_cmd->se_cmd->t_data_nents_orig
NO_OVERFLOW_SIMPLE 1 tcmu_cmd->se_cmd->t_prot_nents
NO_OVERFLOW_SIMPLE 1 tcmu_cmd->se_cmd->t_task_lba
LOCK2 &udev->cmdr_lock
TYPE_LOCK (struct tcmu_dev)->cmdr_lock