Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/target/target_core_rd.c rd_do_prot_rw() -> sbc_dif_verify()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
PARAM_VALUE 0 cmd->execute_cmd 1-u64max
PARAM_VALUE 0 cmd->prot_type 1-u32max
PARAM_VALUE 0 cmd->protocol_data 4096-ptr_max
PARAM_VALUE 0 cmd->se_dev 4096-ptr_max
PARAM_VALUE 0 cmd->se_dev->caw_sem.first_waiter->up 0-1
PARAM_VALUE 0 cmd->se_dev->dev_attrib.pi_prot_type 1-u32max
PARAM_VALUE 0 cmd->se_dev->dev_attrib.pi_prot_verify 1
PARAM_VALUE 0 cmd->se_dev->transport->get_alignment_offset_lbas 0,2216225338472878080
PARAM_VALUE 0 cmd->se_dev->transport->get_device_type 4850256213186490368,5599195229675327488,8676007830667583488
PARAM_VALUE 0 cmd->se_dev->transport->get_lbppbe 0,6660477041369456640
PARAM_VALUE 0 cmd->se_dev->transport->parse_cdb 439634959342690304,3298765662198030336,3516650349575311360,4904684033001054208,5442024552033894400
PARAM_VALUE 0 cmd->se_dev->transport->plug_device 0,957786240888664064,6617329888506277888
PARAM_VALUE 0 cmd->transport_state 0,2-u32max
PARAM_VALUE 3 ei_lba 0
PARAM_VALUE 5 psg_off 0-4095
BUF_SIZE 0 cmd->t_data_sg (-1),32
CAPPED_DATA 5 psg_off 1
DATA_SOURCE 0 cmd $0
STR_LEN 0 cmd (-1)
STR_LEN 0 cmd (-1)
BIT_INFO 0 cmd->transport_state 0x10,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cmd->residual_count 1-u32max
NO_OVERFLOW_SIMPLE 0 cmd->data_length
NO_OVERFLOW_SIMPLE 0 cmd->reftag_seed
NO_OVERFLOW_SIMPLE 0 cmd->sense_info
NO_OVERFLOW_SIMPLE 0 cmd->t_data_nents
NO_OVERFLOW_SIMPLE 0 cmd->t_data_nents_orig
NO_OVERFLOW_SIMPLE 0 cmd->t_data_sg->length
NO_OVERFLOW_SIMPLE 0 cmd->t_data_sg_orig->length
NO_OVERFLOW_SIMPLE 0 cmd->t_data_vmap->nr_pages
NO_OVERFLOW_SIMPLE 0 cmd->t_prot_nents
NO_OVERFLOW_SIMPLE 0 cmd->t_task_lba
NO_OVERFLOW_SIMPLE 1 start
HALF_LOCKED2 &dev->caw_sem
HALF_LOCKED2 &pool->lock

drivers/target/target_core_rd.c rd_do_prot_rw() -> sbc_dif_verify()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
PARAM_VALUE 0 cmd->execute_cmd 1-u64max
PARAM_VALUE 0 cmd->prot_type 1-u32max
PARAM_VALUE 0 cmd->protocol_data 4096-ptr_max
PARAM_VALUE 0 cmd->se_dev 4096-ptr_max
PARAM_VALUE 0 cmd->se_dev->caw_sem.first_waiter->up 0-1
PARAM_VALUE 0 cmd->se_dev->dev_attrib.pi_prot_type 1-u32max
PARAM_VALUE 0 cmd->se_dev->dev_attrib.pi_prot_verify 1
PARAM_VALUE 0 cmd->se_dev->transport->get_alignment_offset_lbas 0,2216225338472878080
PARAM_VALUE 0 cmd->se_dev->transport->get_device_type 4850256213186490368,5599195229675327488,8676007830667583488
PARAM_VALUE 0 cmd->se_dev->transport->get_lbppbe 0,6660477041369456640
PARAM_VALUE 0 cmd->se_dev->transport->parse_cdb 439634959342690304,3298765662198030336,3516650349575311360,4904684033001054208,5442024552033894400
PARAM_VALUE 0 cmd->se_dev->transport->plug_device 0,957786240888664064,6617329888506277888
PARAM_VALUE 0 cmd->transport_state 0,2-u32max
PARAM_VALUE 3 ei_lba 0
PARAM_VALUE 5 psg_off 0
BUF_SIZE 0 cmd->t_data_sg (-1),32
DATA_SOURCE 0 cmd $0
STR_LEN 0 cmd (-1)
STR_LEN 0 cmd (-1)
BIT_INFO 0 cmd->transport_state 0x10,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cmd->residual_count 1-u32max
NO_OVERFLOW_SIMPLE 0 cmd->data_length
NO_OVERFLOW_SIMPLE 0 cmd->reftag_seed
NO_OVERFLOW_SIMPLE 0 cmd->sense_info
NO_OVERFLOW_SIMPLE 0 cmd->t_data_nents
NO_OVERFLOW_SIMPLE 0 cmd->t_data_nents_orig
NO_OVERFLOW_SIMPLE 0 cmd->t_data_sg->length
NO_OVERFLOW_SIMPLE 0 cmd->t_data_sg_orig->length
NO_OVERFLOW_SIMPLE 0 cmd->t_data_vmap->nr_pages
NO_OVERFLOW_SIMPLE 0 cmd->t_prot_nents
NO_OVERFLOW_SIMPLE 0 cmd->t_task_lba
NO_OVERFLOW_SIMPLE 1 start
UNITS 4 psg unit_byte
HALF_LOCKED2 &pool->lock

drivers/target/target_core_transport.c target_read_prot_action() -> sbc_dif_verify()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
PARAM_VALUE 0 cmd->data_direction 2
PARAM_VALUE 0 cmd->prot_op 4
PARAM_VALUE 0 cmd->se_dev 4096-ptr_max
PARAM_VALUE 0 cmd->se_dev->caw_sem.first_waiter->up 0-1
PARAM_VALUE 0 cmd->se_lun 4096-ptr_max
PARAM_VALUE 0 cmd->se_lun->lun_stats 0,4096-ptr_max
PARAM_VALUE 0 cmd->se_sess 4096-ptr_max
PARAM_VALUE 3 ei_lba 0
PARAM_VALUE 5 psg_off 0
DATA_SOURCE 0 cmd $0
BIT_INFO 0 cmd->se_sess->sup_prot_ops 0x0,0xfffffffb
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 cmd->data_length
UNITS 4 psg unit_byte
HALF_LOCKED2 &pool->lock

drivers/target/target_core_transport.c target_write_prot_action() -> sbc_dif_verify()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
PARAM_VALUE 0 cmd->prot_op 8
PARAM_VALUE 0 cmd->se_dev 4096-ptr_max
PARAM_VALUE 0 cmd->se_dev->caw_sem.first_waiter->up 0-1
PARAM_VALUE 0 cmd->se_dev->transport->plug_device 0,957786240888664064,6617329888506277888
PARAM_VALUE 0 cmd->se_sess 4096-ptr_max
PARAM_VALUE 0 cmd->t_state 5
PARAM_VALUE 0 cmd->t_state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cmd->transport_state 0,2-u32max
PARAM_VALUE 3 ei_lba 0
PARAM_VALUE 5 psg_off 0
BUF_SIZE 0 cmd (-1),656
BUF_SIZE 0 cmd (-1),656
BUF_SIZE 0 cmd->t_data_sg (-1),32
DATA_SOURCE 0 cmd $0
BIT_INFO 0 cmd->se_sess->sup_prot_ops 0x0,0xfffffff7
BIT_INFO 0 cmd->transport_state 0x12,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cmd->residual_count 1-u32max
NO_OVERFLOW_SIMPLE 0 cmd->data_length
NO_OVERFLOW_SIMPLE 0 cmd->reftag_seed
NO_OVERFLOW_SIMPLE 0 cmd->t_data_nents
NO_OVERFLOW_SIMPLE 0 cmd->t_data_sg->length
NO_OVERFLOW_SIMPLE 0 cmd->t_task_lba
NO_OVERFLOW_SIMPLE 1 start
UNITS 0 cmd unit_byte
UNITS 4 psg unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sess->cmdsn_mutex

drivers/target/target_core_file.c fd_execute_rw_buffered() -> sbc_dif_verify()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
PARAM_VALUE 0 cmd->data_length 0-8388608
PARAM_VALUE 0 cmd->execute_cmd 1-u64max
PARAM_VALUE 0 cmd->prot_type 1-u32max
PARAM_VALUE 0 cmd->protocol_data 4096-ptr_max
PARAM_VALUE 0 cmd->se_dev 4096-ptr_max
PARAM_VALUE 0 cmd->se_dev->caw_sem.first_waiter->up 0-1
PARAM_VALUE 0 cmd->se_dev->dev_attrib.pi_prot_type 1-u32max
PARAM_VALUE 0 cmd->se_dev->dev_attrib.pi_prot_verify 1
PARAM_VALUE 0 cmd->se_dev->transport->get_alignment_offset_lbas 0,2216225338472878080
PARAM_VALUE 0 cmd->se_dev->transport->get_device_type 4850256213186490368,5599195229675327488,8676007830667583488
PARAM_VALUE 0 cmd->se_dev->transport->get_lbppbe 0,6660477041369456640
PARAM_VALUE 0 cmd->se_dev->transport->parse_cdb 439634959342690304,3298765662198030336,3516650349575311360,4904684033001054208,5442024552033894400
PARAM_VALUE 0 cmd->se_dev->transport->plug_device 0,957786240888664064,6617329888506277888
PARAM_VALUE 0 cmd->t_prot_nents 0-s32max
PARAM_VALUE 0 cmd->transport_state 0,2-u32max
PARAM_VALUE 3 ei_lba 0
PARAM_VALUE 5 psg_off 0
BUF_SIZE 0 cmd->t_data_sg (-1),32
CAPPED_DATA 0 cmd->data_length 1
CAPPED_DATA 0 cmd->prot_length 1
CAPPED_DATA 0 cmd->t_prot_nents 1
DATA_SOURCE 0 cmd $0
FUZZY_MAX 0 cmd->data_length 8388608
STR_LEN 0 cmd (-1)
STR_LEN 0 cmd (-1)
BIT_INFO 0 cmd->transport_state 0x10,0xffffffffffffffff
HARD_MAX 0 cmd->data_length 8388608
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cmd->residual_count 1-u32max
NO_OVERFLOW_SIMPLE 0 cmd->data_length
NO_OVERFLOW_SIMPLE 0 cmd->reftag_seed
NO_OVERFLOW_SIMPLE 0 cmd->sense_info
NO_OVERFLOW_SIMPLE 0 cmd->t_data_nents
NO_OVERFLOW_SIMPLE 0 cmd->t_data_nents_orig
NO_OVERFLOW_SIMPLE 0 cmd->t_data_sg->length
NO_OVERFLOW_SIMPLE 0 cmd->t_data_sg_orig->length
NO_OVERFLOW_SIMPLE 0 cmd->t_data_vmap->nr_pages
NO_OVERFLOW_SIMPLE 0 cmd->t_prot_nents
NO_OVERFLOW_SIMPLE 0 cmd->t_task_lba
NO_OVERFLOW_SIMPLE 1 start
UNITS 4 psg unit_byte
HALF_LOCKED2 &dev->caw_sem
HALF_LOCKED2 &pool->lock

drivers/target/target_core_file.c fd_execute_rw_buffered() -> sbc_dif_verify()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
PARAM_VALUE 0 cmd->data_length 0-8388608
PARAM_VALUE 0 cmd->execute_cmd 1-u64max
PARAM_VALUE 0 cmd->prot_type 1-u32max
PARAM_VALUE 0 cmd->protocol_data 4096-ptr_max
PARAM_VALUE 0 cmd->se_dev 4096-ptr_max
PARAM_VALUE 0 cmd->se_dev->caw_sem.first_waiter->up 0-1
PARAM_VALUE 0 cmd->se_dev->dev_attrib.pi_prot_type 1-u32max
PARAM_VALUE 0 cmd->se_dev->dev_attrib.pi_prot_verify 1
PARAM_VALUE 0 cmd->se_dev->transport->get_alignment_offset_lbas 0,2216225338472878080
PARAM_VALUE 0 cmd->se_dev->transport->get_device_type 4850256213186490368,5599195229675327488,8676007830667583488
PARAM_VALUE 0 cmd->se_dev->transport->get_lbppbe 0,6660477041369456640
PARAM_VALUE 0 cmd->se_dev->transport->parse_cdb 439634959342690304,3298765662198030336,3516650349575311360,4904684033001054208,5442024552033894400
PARAM_VALUE 0 cmd->se_dev->transport->plug_device 0,957786240888664064,6617329888506277888
PARAM_VALUE 0 cmd->transport_state 0,2-u32max
PARAM_VALUE 3 ei_lba 0
PARAM_VALUE 5 psg_off 0
BUF_SIZE 0 cmd->t_data_sg (-1),32
DATA_SOURCE 0 cmd $0
FUZZY_MAX 0 cmd->data_length 8388608
STR_LEN 0 cmd (-1)
STR_LEN 0 cmd (-1)
BIT_INFO 0 cmd->transport_state 0x10,0xffffffffffffffff
HARD_MAX 0 cmd->data_length 8388608
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cmd->residual_count 1-u32max
NO_OVERFLOW_SIMPLE 0 cmd->data_length
NO_OVERFLOW_SIMPLE 0 cmd->reftag_seed
NO_OVERFLOW_SIMPLE 0 cmd->sense_info
NO_OVERFLOW_SIMPLE 0 cmd->t_data_nents
NO_OVERFLOW_SIMPLE 0 cmd->t_data_nents_orig
NO_OVERFLOW_SIMPLE 0 cmd->t_data_sg->length
NO_OVERFLOW_SIMPLE 0 cmd->t_data_sg_orig->length
NO_OVERFLOW_SIMPLE 0 cmd->t_data_vmap->nr_pages
NO_OVERFLOW_SIMPLE 0 cmd->t_prot_nents
NO_OVERFLOW_SIMPLE 0 cmd->t_task_lba
NO_OVERFLOW_SIMPLE 1 start
UNITS 4 psg unit_byte
HALF_LOCKED2 &dev->caw_sem
HALF_LOCKED2 &pool->lock