Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/elx/efct/efct_unsol.c efct_unsolicited_cb() -> efc_dispatch_frame()

Type Parameter Key Value
PARAM_VALUE 1 seq 4096-ptr_max
PARAM_VALUE 1 seq->fcfi 0-63,255
PARAM_VALUE 1 seq->header 4096-ptr_max
PARAM_VALUE 1 seq->header->dma.len 0-63
PARAM_VALUE 1 seq->header->dma.virt 4096-ptr_max
PARAM_VALUE 1 seq->header->dma.virt->fh_d_id 4096-ptr_max
PARAM_VALUE 1 seq->header->dma.virt->fh_s_id 4096-ptr_max
PARAM_VALUE 1 seq->header->dma.virt->fh_type 0-7,9-255
PARAM_VALUE 1 seq->hw 4096-ptr_max
PARAM_VALUE 1 seq->payload 4096-ptr_max
PARAM_VALUE 1 seq->payload->dma.len 0-u16max
DATA_SOURCE 1 seq $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL