Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sunrpc/xprtrdma/rpc_rdma.c rpcrdma_marshal_req() -> rpcrdma_nonpayload_inline()

Type Parameter Key Value
PARAM_VALUE 0 r_xprt 4096-ptr_max
PARAM_VALUE 0 r_xprt->rx_ep 4096-ptr_max
PARAM_VALUE 0 r_xprt->rx_ep->re_max_inline_recv 0-4294967294
PARAM_VALUE 1 rqst 4096-ptr_max
CAPPED_DATA 0 r_xprt->rx_ep->re_max_inline_recv 1
CAPPED_DATA 1 rqst->rq_rcv_buf.buflen 1
DATA_SOURCE 0 r_xprt $0
DATA_SOURCE 1 rqst $1
PARAM_COMPARE 0 r_xprt->rx_ep->re_max_inline_recv < $1->rq_rcv_buf.buflen
BIT_INFO 1 rqst->rq_rcv_buf.flags 0x1,0xffffffff
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock