Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/isci/request.c sci_request_build_sgl() -> to_sgl_element_pair_dma()

Type Parameter Key Value
PARAM_VALUE 1 ireq 4096-ptr_max
PARAM_VALUE 1 ireq->sm.current_state_id 0,13
PARAM_VALUE 1 ireq->sm.state_table 4096-ptr_max
PARAM_VALUE 1 ireq->sm.state_table->exit_state 0,4096-ptr_max
PARAM_VALUE 1 ireq->target_device 4096-ptr_max
PARAM_VALUE 1 ireq->target_device->owning_port->physical_port_index 0-3,255
PARAM_VALUE 1 ireq->tc 4096-ptr_max
PARAM_VALUE 1 ireq->tc->stp_retry_count 0
PARAM_VALUE 1 ireq->tc->task_phase 1
PARAM_VALUE 1 ireq->tc->task_type 0-3,10
PARAM_VALUE 1 ireq->tc->type.stp.fis_type 0,39,70
PARAM_VALUE 1 ireq->ttype_ptr.io_task_ptr 4096-ptr_max
PARAM_VALUE 1 ireq->ttype_ptr.io_task_ptr->num_scatter 1-s32max
CAPPED_DATA 1 ireq 1
DATA_SOURCE 1 ireq $0
FUZZY_MAX 1 ireq->tc->task_type 10
FUZZY_MAX 1 ireq->ttype_ptr.io_task_ptr->num_scatter 1
HARD_MAX 1 ireq->sm.current_state_id 13
HARD_MAX 1 ireq->tc->task_type 10
HARD_MAX 1 ireq->tc->type.stp.fis_type 70
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 ireq->ttype_ptr.io_task_ptr->ata_task.dma_xfer 0-1
HOST_DATA 1 ireq->ttype_ptr.io_task_ptr->ata_task.use_ncq 0-1
NO_OVERFLOW_SIMPLE 1 ireq->num_sg_entries
NO_OVERFLOW_SIMPLE 1 ireq->ttype_ptr.io_task_ptr->num_scatter