Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sunrpc/xprtrdma/svc_rdma_pcl.c pcl_alloc_call() -> pcl_insert_position()

Type Parameter Key Value
PARAM_VALUE 0 pcl 4096-ptr_max
PARAM_VALUE 0 pcl->cl_count 0-1
PARAM_VALUE 1 chunk 4096-ptr_max
PARAM_VALUE 1 chunk->ch_length 0
PARAM_VALUE 1 chunk->ch_payload_length 0
PARAM_VALUE 1 chunk->ch_position 0
PARAM_VALUE 1 chunk->ch_segcount 0
BUF_SIZE 0 pcl 24
BUF_SIZE 1 chunk 48-s32max
BUF_SIZE 1 chunk 48-s32max
DATA_SOURCE 1 chunk r pcl_alloc_chunk
FUZZY_MAX 0 pcl->cl_count 0
PARAM_COMPARE 0 &pcl->cl_chunks == $0->cl_chunks.next
RX_PATH
NOCHECK_CALL

net/sunrpc/xprtrdma/svc_rdma_pcl.c pcl_alloc_read() -> pcl_insert_position()

Type Parameter Key Value
PARAM_VALUE 0 pcl 4096-ptr_max
PARAM_VALUE 0 pcl->cl_count 0-1
PARAM_VALUE 1 chunk 4096-ptr_max
PARAM_VALUE 1 chunk->ch_length 0
PARAM_VALUE 1 chunk->ch_payload_length 0
PARAM_VALUE 1 chunk->ch_position 1-u32max
PARAM_VALUE 1 chunk->ch_segcount 0
BUF_SIZE 0 pcl 24
BUF_SIZE 1 chunk 48-s32max
BUF_SIZE 1 chunk 48-s32max
CAPPED_DATA 1 chunk->ch_position 1
DATA_SOURCE 1 chunk r pcl_alloc_chunk
FUZZY_MAX 0 pcl->cl_count 0
RX_PATH
NOCHECK_CALL