Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/sd.c sd_init_command() -> sd_setup_flush_cmnd()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
PARAM_VALUE 0 cmd->allowed 0
PARAM_VALUE 0 cmd->device 4096-ptr_max
PARAM_VALUE 0 cmd->eh_eflags 0
PARAM_VALUE 0 cmd->extra_len 0
PARAM_VALUE 0 cmd->flags 0,2-s32max
PARAM_VALUE 0 cmd->host_scribble 0
PARAM_VALUE 0 cmd->prot_flags 0
PARAM_VALUE 0 cmd->prot_op 0
PARAM_VALUE 0 cmd->prot_type 0
PARAM_VALUE 0 cmd->result 0
PARAM_VALUE 0 cmd->sc_data_direction 1-3
PARAM_VALUE 0 cmd->sdb.table.sgl 4096-ptr_max
PARAM_VALUE 0 cmd->state 0
PARAM_VALUE 0 cmd->submitter 0
PARAM_VALUE 0 cmd->transfersize 0
PARAM_VALUE 0 cmd->underflow 0
DATA_SOURCE 0 cmd $0
FUZZY_MAX 0 cmd->sc_data_direction 3
HARD_MAX 0 cmd->sc_data_direction 3
MEM_ZERO 0 cmd->cmnd
MEM_ZERO 0 &cmd->sdb
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read