Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/esas2r/esas2r_init.c esas2r_reset_chip() -> esas2r_read_mem_block()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 2 from 4094164992
PARAM_VALUE 3 size 524288
BUF_SIZE 0 a->fw_event_q (-1),512,8712
BUF_SIZE 0 a->host (-1),4520-s32max
BUF_SIZE 0 a->pcid (-1),1-s32max
BUF_SIZE 1 to 524288
DATA_SOURCE 0 a $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 a->pcid->current_state 0[c]
NO_OVERFLOW_SIMPLE 0 a->general_req.vrq_md->esas2r_param
NO_OVERFLOW_SIMPLE 0 a->inbound_list_md.esas2r_param
NO_OVERFLOW_SIMPLE 0 a->inbound_list_md.phys_addr
NO_OVERFLOW_SIMPLE 0 a->outbound_list_md.esas2r_param
NO_OVERFLOW_SIMPLE 0 a->outbound_list_md.phys_addr
NO_OVERFLOW_SIMPLE 0 a->pcid->dev.cma_area->available_count
NO_OVERFLOW_SIMPLE 0 a->pcid->msix_base
NO_OVERFLOW_SIMPLE 0 a->uncached_phys
NO_OVERFLOW_SIMPLE 0 a->uncached_size