Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvme/host/tcp.c nvme_tcp_try_send_data() -> nvme_tcp_advance_req()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->iter.bvec 4096-ptr_max
PARAM_VALUE 1 len 1-s32max
CAPPED_DATA 0 req 1
CAPPED_DATA 0 req->iter.count 1
CAPPED_DATA 0 req->iter.folioq_slot 1
CAPPED_DATA 0 req->iter.iov_offset 1
CAPPED_DATA 0 req->iter.iter_type 1
CAPPED_DATA 0 req->iter.nr_segs 1
CAPPED_DATA 0 req->iter.xarray_start 1
DATA_SOURCE 0 req $0
DATA_SOURCE 1 len r sock_sendmsg
FUZZY_MAX 1 len 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 len unit_byte
LOCK2 &queue->send_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct nvme_tcp_queue)->send_mutex