Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rds/ib_frmr.c rds_ib_reg_frmr() -> rds_ib_map_frmr()

Type Parameter Key Value
PARAM_VALUE 0 rds_ibdev 4096-ptr_max
PARAM_VALUE 0 rds_ibdev->mr_1m_pool 1-u64max
PARAM_VALUE 0 rds_ibdev->mr_8k_pool 1-u64max
PARAM_VALUE 1 pool->flush_worker.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 1 pool->max_free_pinned 1-u64max
PARAM_VALUE 2 ibmr 4096-ptr_max
PARAM_VALUE 2 ibmr->device 4096-ptr_max
PARAM_VALUE 2 ibmr->device->mr_1m_pool 1-u64max
PARAM_VALUE 2 ibmr->device->mr_8k_pool 1-u64max
PARAM_VALUE 2 ibmr->ic 4096-ptr_max
PARAM_VALUE 2 ibmr->ic->i_cm_id 4096-ptr_max
PARAM_VALUE 2 ibmr->pool->flush_worker.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 2 ibmr->pool->max_free_pinned 1-u64max
PARAM_VALUE 2 ibmr->u.frmr.fr_state 0
PARAM_VALUE 3 sg 0,4096-ptr_max
PARAM_VALUE 3 sg->dma_address 0
PARAM_VALUE 3 sg->dma_flags 0
PARAM_VALUE 3 sg->dma_length 0
PARAM_VALUE 3 sg->length 0
PARAM_VALUE 3 sg->offset 0
PARAM_VALUE 3 sg->page_link 0
PARAM_VALUE 4 sg_len 0-s32max
BUF_SIZE 2 ibmr (-1),512
BUF_SIZE 2 ibmr (-1),512
BUF_SIZE 2 ibmr->ic 0,24,5232
BUF_SIZE 3 sg 0,32-s32max
BUF_SIZE 3 sg 0,32-s32max
CAPPED_DATA 4 sg_len 1
DATA_SOURCE 0 rds_ibdev $0
DATA_SOURCE 2 ibmr r rds_ib_alloc_frmr
DATA_SOURCE 3 sg $2
DATA_SOURCE 4 sg_len $3
NOSPEC 4 sg_len
NOSPEC 4 sg_len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 sg_len 1-s32max[c]
NO_OVERFLOW_SIMPLE 4 sg_len
HALF_LOCKED2 &smc->clcsock_release_lock