Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/qedr/verbs.c qedr_create_cq() -> qedr_init_cq_params()

Type Parameter Key Value
PARAM_VALUE 0 cq 4096-ptr_max
PARAM_VALUE 0 cq->cq_type 1-2
PARAM_VALUE 0 cq->ibcq.cqe 0-143172096
PARAM_VALUE 0 cq->pbl.capacity 0-143172096
PARAM_VALUE 0 cq->pbl.cnt_type 0-1
PARAM_VALUE 0 cq->pbl.elem_per_page 0,32,128,256,512
PARAM_VALUE 0 cq->pbl.elem_per_page_mask 0,31,127,255,511
PARAM_VALUE 0 cq->pbl.elem_size 0,32
PARAM_VALUE 0 cq->pbl.elem_unusable 0-2
PARAM_VALUE 0 cq->pbl.intended_use 0-1
PARAM_VALUE 0 cq->pbl.mode 0,2
PARAM_VALUE 0 cq->pbl.next_page_mask 0-511
PARAM_VALUE 0 cq->pbl.p_cons_elem 0-ptr_max
PARAM_VALUE 0 cq->pbl.p_prod_elem 0-ptr_max
PARAM_VALUE 0 cq->pbl.p_virt_addr 0-ptr_max
PARAM_VALUE 0 cq->pbl.page_cnt 0-279633
PARAM_VALUE 0 cq->pbl.page_size 0,4096
PARAM_VALUE 0 cq->pbl.pbl.c.u32.cons_page_idx 0-279632,u32max
PARAM_VALUE 0 cq->pbl.pbl.c.u32.prod_page_idx 0-279632,u32max
PARAM_VALUE 0 cq->pbl.pbl_sp.table_size 0-2237064
PARAM_VALUE 0 cq->pbl.pbl_sp.table_virt 0-ptr_max
PARAM_VALUE 0 cq->pbl.size 0-143172096
PARAM_VALUE 0 cq->pbl.u.chain16.cons_idx 0
PARAM_VALUE 0 cq->pbl.u.chain32.cons_idx 0
PARAM_VALUE 0 cq->pbl.u.chain32.prod_idx 0
PARAM_VALUE 0 cq->pbl.usable_per_page 0,30-32,126-128,254-256,510-512
PARAM_VALUE 0 cq->q.db_rec_data 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 cq->q.umem 0,4096-u64max
PARAM_VALUE 1 ctx 0,4096-ptr_max
PARAM_VALUE 2 dev 4096-ptr_max
PARAM_VALUE 2 dev->cdev->pdev->dev.dma_uses_io_tlb 0-1
PARAM_VALUE 2 dev->cdev->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 2 dev->ops 4096-ptr_max
PARAM_VALUE 2 dev->ops->common 4096-ptr_max
PARAM_VALUE 4 chain_entries 0,128-8388480
PARAM_VALUE 7 params 3395417962507542528
CAPPED_DATA 0 cq->ibcq.cqe 1
CAPPED_DATA 4 chain_entries 1
DATA_SOURCE 0 cq r get_qedr_cq
DATA_SOURCE 2 dev r get_qedr_dev
FUZZY_MAX 0 cq->cq_type 2
FUZZY_MAX 0 cq->pbl.capacity 0
FUZZY_MAX 0 cq->pbl.cnt_type 0
FUZZY_MAX 0 cq->pbl.elem_per_page 0
FUZZY_MAX 0 cq->pbl.elem_per_page_mask 0
FUZZY_MAX 0 cq->pbl.elem_size 0
FUZZY_MAX 0 cq->pbl.elem_unusable 0
FUZZY_MAX 0 cq->pbl.intended_use 0
FUZZY_MAX 0 cq->pbl.mode 0
FUZZY_MAX 0 cq->pbl.next_page_mask 0
FUZZY_MAX 0 cq->pbl.page_cnt 0
FUZZY_MAX 0 cq->pbl.page_size 0
FUZZY_MAX 0 cq->pbl.pbl.c.u32.cons_page_idx 0
FUZZY_MAX 0 cq->pbl.pbl.c.u32.prod_page_idx 0
FUZZY_MAX 0 cq->pbl.pbl_sp.table_size 0
FUZZY_MAX 0 cq->pbl.size 0
FUZZY_MAX 0 cq->pbl.usable_per_page 0
NOSPEC 0 cq->pbl.capacity
NOSPEC 0 cq->pbl.page_cnt
HARD_MAX 0 cq->cq_type 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 cq->ibcq.cqe 1-143172096[c]
USER_DATA 0 cq->pbl.capacity 0-143172096[c]
USER_DATA 0 cq->pbl.page_cnt 0-279633[c]
USER_DATA 0 cq->pbl.pbl.c.u16.cons_page_idx 0-u16max
USER_DATA 0 cq->pbl.pbl.c.u16.prod_page_idx 0-u16max
USER_DATA 0 cq->pbl.pbl.c.u32.cons_page_idx 0-279632,u32max[u]
USER_DATA 0 cq->pbl.pbl.c.u32.prod_page_idx 0-279632,u32max[u]
USER_DATA 0 cq->pbl.pbl_sp.table_size 0-2237064[c]
USER_DATA 0 cq->pbl.size 0-143172096[c]
USER_DATA 0 cq->q.buf_addr 0-u64max
USER_DATA 0 cq->q.pbl_info.num_pbes 0-u32max[c]
USER_DATA 0 cq->q.umem->address 0-u64max[c]
USER_DATA 0 cq->q.umem->iova 0-u64max[c]
USER_DATA 0 cq->q.umem->length 0,8-u64max
USER_DATA 0 cq->q.umem->sgt_append.prv->length 0-u32max[c]
USER_DATA 0 cq->q.umem->sgt_append.prv->offset 0-4095[c]
USER_DATA 0 cq->q.umem->writable 0-1[c]
USER_DATA 3 vector 1-s32max[c]
USER_DATA 4 chain_entries 128-8388479[c]
USER_DATA 5 page_cnt 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 cq->q.db_mmap_entry->start_pgoff
NO_OVERFLOW_SIMPLE 0 cq->q.pbl_info.num_pbes
NO_OVERFLOW_SIMPLE 0 cq->q.pbl_info.num_pbls
UNITS 3 vector unit_array_size