Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/sunrpc/xprtrdma/backchannel.c rpcrdma_bc_receive_call() -> xprt_enqueue_bc_request()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->rq_private_buf.len 0,4-4294967292
PARAM_VALUE 0 req->rq_rcv_buf.len 0,4-4294967292
PARAM_VALUE 0 req->rq_reply_bytes_recvd 0
BUF_SIZE 0 req (-1),488
BUF_SIZE 0 req (-1),488
DATA_SOURCE 0 req r rpcrdma_bc_rqst_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 req->rq_xid 0-u32max
HALF_LOCKED2 &pool->lock

net/sunrpc/backchannel_rqst.c xprt_complete_bc_request() -> xprt_enqueue_bc_request()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->rq_xprt 4096-ptr_max
PARAM_VALUE 0 req->rq_xprt->bc_pa_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 req 1
DATA_SOURCE 0 req $0
NOCHECK_CALL
LOCK2 &pool->lock
LOCK2 &transport->recv_mutex
TYPE_LOCK (struct sock_xprt)->recv_mutex