Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/ocrdma/ocrdma_hw.c ocrdma_reg_mr() -> ocrdma_mbx_reg_mr_cont()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->attr.max_num_mr_pbl 1-u32max
PARAM_VALUE 0 dev->mq.sq.head 0-127
PARAM_VALUE 0 dev->mqe_ctx.cmd_done 0
PARAM_VALUE 0 dev->mqe_ctx.lock.dep_map->name 0-255
PARAM_VALUE 0 dev->mqe_ctx.lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->mqe_ctx.lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->mqe_ctx.lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->mqe_ctx.lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->mqe_ctx.lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->mqe_ctx.lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->mqe_ctx.tag 0-u16max
PARAM_VALUE 0 dev->nic_info.pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->nic_info.pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 1 hwmr 4096-ptr_max
PARAM_VALUE 1 hwmr->local_rd 0-1
PARAM_VALUE 1 hwmr->local_wr 0-1
PARAM_VALUE 1 hwmr->num_pbls 22-4294967294
PARAM_VALUE 1 hwmr->pbl_size 0-65536
PARAM_VALUE 1 hwmr->pbl_table 16,4096-ptr_max
PARAM_VALUE 1 hwmr->remote_rd 0-1
PARAM_VALUE 1 hwmr->remote_wr 0-1
PARAM_VALUE 2 pbl_cnt 1-22
PARAM_VALUE 3 pbl_offset 22-u32max
PARAM_VALUE 4 last 0-1
CAPPED_DATA 2 pbl_cnt 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 hwmr $1
FUZZY_MAX 4 last 1
NOSPEC 1 hwmr->num_pbls
NOSPEC 2 pbl_cnt
NOSPEC 2 pbl_cnt
NOSPEC 3 pbl_offset
HARD_MAX 1 hwmr->local_rd 1
HARD_MAX 4 last 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 hwmr->len 0-u64max[c]
USER_DATA 1 hwmr->num_pbes 0-u32max
USER_DATA 1 hwmr->num_pbls 22-s32max[c]
USER_DATA 1 hwmr->va 0-u64max
USER_DATA 2 pbl_cnt 1-21[c]
NO_OVERFLOW_SIMPLE 1 hwmr->num_pbes
UNITS 2 pbl_cnt unit_array_size
UNITS 3 pbl_offset unit_array_size