Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/elx/libefc/efc_domain.c efc_dispatch_frame() -> efc_domain_dispatch_frame()

Type Parameter Key Value
PARAM_VALUE 0 arg 1-u64max
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_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

drivers/scsi/elx/libefc/efc_domain.c efct_domain_process_pending() -> efc_domain_dispatch_frame()

Type Parameter Key Value
PARAM_VALUE 0 arg 4096-ptr_max
PARAM_VALUE 1 seq 4096-ptr_max
DATA_SOURCE 0 arg $0
RX_PATH
TASK_NOT_RUNNING