Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 tcmu_cmd 4096-ptr_max
PARAM_VALUE 1 base_command_size 112-u64max
CAPPED_DATA 0 tcmu_cmd->dbi_cnt 1
DATA_SOURCE 0 tcmu_cmd $0
DATA_SOURCE 1 base_command_size r tcmu_cmd_get_base_cmd_size
STR_LEN 0 tcmu_cmd->se_cmd (-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 tcmu_cmd->se_cmd->residual_count 1-u32max
NO_OVERFLOW_SIMPLE 0 tcmu_cmd->dbi_cnt
NO_OVERFLOW_SIMPLE 0 tcmu_cmd->se_cmd->data_length
NO_OVERFLOW_SIMPLE 0 tcmu_cmd->se_cmd->reftag_seed
NO_OVERFLOW_SIMPLE 0 tcmu_cmd->se_cmd->sense_info
NO_OVERFLOW_SIMPLE 0 tcmu_cmd->se_cmd->t_data_nents
NO_OVERFLOW_SIMPLE 0 tcmu_cmd->se_cmd->t_data_nents_orig
NO_OVERFLOW_SIMPLE 0 tcmu_cmd->se_cmd->t_prot_nents
NO_OVERFLOW_SIMPLE 0 tcmu_cmd->se_cmd->t_task_lba
LOCK2 &udev->cmdr_lock
TYPE_LOCK (struct tcmu_dev)->cmdr_lock