Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 segment 4096-ptr_max
PARAM_VALUE 0 segment->copied 0-4294967294
PARAM_VALUE 0 segment->size 1-u32max
PARAM_VALUE 1 recv 0-1
BUF_SIZE 0 segment 80
CAPPED_DATA 0 segment->copied 1
DATA_SOURCE 0 segment $1
DATA_SOURCE 1 recv $2
PARAM_COMPARE 0 segment->copied < $0->size
HARD_MAX 1 recv 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh

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

Type Parameter Key Value
PARAM_VALUE 0 segment 4096-ptr_max
PARAM_VALUE 0 segment->copied 0
PARAM_VALUE 0 segment->data 0
PARAM_VALUE 0 segment->sg 4096-ptr_max
PARAM_VALUE 0 segment->sg_mapped 0
PARAM_VALUE 0 segment->sg_offset 0
PARAM_VALUE 0 segment->total_copied 0-4294967294
PARAM_VALUE 0 segment->total_size 1-u32max
PARAM_VALUE 1 recv 0-1
BUF_SIZE 0 segment 80
CAPPED_DATA 0 segment->total_copied 1
DATA_SOURCE 0 segment $1
DATA_SOURCE 1 recv $2
PARAM_COMPARE 0 segment->total_copied < $0->total_size
HARD_MAX 1 recv 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh