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_lio.c efct_lio_write_pending() -> efct_scsi_recv_wr_data()

Type Parameter Key Value
PARAM_VALUE 0 io 4096-ptr_max
PARAM_VALUE 0 io->tgt_io.state 0,8-u32max
PARAM_VALUE 1 flags 0-1
PARAM_VALUE 5 cb 1005821808749277184
PARAM_VALUE 6 arg 0
CAPPED_DATA 0 io->sgl_allocated 1
CAPPED_DATA 3 sgl_count 1
FUZZY_MAX 1 flags 1
PARAM_COMPARE 3 sgl_count <= $0->sgl_allocated
BIT_INFO 0 io->tgt_io.state 0x8,0xffffffffffffffff
HARD_MAX 1 flags 1
RX_PATH
TASK_NOT_RUNNING
UNITS 3 sgl_count unit_page