Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/libiscsi_tcp.c iscsi_tcp_hdr_recv_done() -> iscsi_tcp_segment_splice_digest()

Type Parameter Key Value
PARAM_VALUE 0 segment 4096-ptr_max
PARAM_VALUE 0 segment->digest_len 0
BUF_SIZE 0 segment 80
BUF_SIZE 1 digest 4
DATA_SOURCE 0 segment $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh

drivers/scsi/libiscsi_tcp.c iscsi_tcp_segment_done() -> iscsi_tcp_segment_splice_digest()

Type Parameter Key Value
PARAM_VALUE 0 segment 4096-ptr_max
PARAM_VALUE 0 segment->copied 0
PARAM_VALUE 0 segment->crcp 4096-ptr_max
PARAM_VALUE 0 segment->size 0
BUF_SIZE 0 segment 80
BUF_SIZE 1 digest 4
CAPPED_DATA 0 segment->total_size 1
DATA_SOURCE 0 segment $1
PARAM_COMPARE 0 segment->total_copied >= $0->total_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh