Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvme/host/tcp.c nvme_tcp_fetch_request() -> nvme_tcp_process_req_list()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->request 0
PARAM_VALUE 0 queue->request->queue->sock->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 queue->request->queue->sock->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 queue->request->queue->sock->sk->ns_tracker->free_stack_handle 0-4294967295
DATA_SOURCE 0 queue $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &queue->send_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct nvme_tcp_queue)->send_mutex