Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/hw/ocrdma/ocrdma_main.c ocrdma_add() -> ocrdma_init_service_level()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->asic_id 0
PARAM_VALUE 0 dev->attr.cq_overflow_detect 0-1
PARAM_VALUE 0 dev->attr.ird 1
PARAM_VALUE 0 dev->attr.ird_page_size 4096
PARAM_VALUE 0 dev->attr.max_inline_data 0-2008,4294967264-u32max
PARAM_VALUE 0 dev->attr.max_rdma_sge 0-u16max
PARAM_VALUE 0 dev->attr.max_recv_sge 0-u16max
PARAM_VALUE 0 dev->attr.max_send_sge 0-u16max
PARAM_VALUE 0 dev->attr.max_srq_sge 0-u16max
PARAM_VALUE 0 dev->attr.num_ird_pages 4
PARAM_VALUE 0 dev->attr.rqe_size 0-2040
PARAM_VALUE 0 dev->attr.srq_supported 0-1
PARAM_VALUE 0 dev->attr.udp_encap 0-3
PARAM_VALUE 0 dev->attr.wqe_size 0-2040
PARAM_VALUE 0 dev->av_tbl.ahid 0-u16max
PARAM_VALUE 0 dev->av_tbl.num_ah 512
PARAM_VALUE 0 dev->av_tbl.pbl.va 1-ptr_max
PARAM_VALUE 0 dev->av_tbl.size 32768
PARAM_VALUE 0 dev->av_tbl.va 1-ptr_max
PARAM_VALUE 0 dev->av_tbl.va->eth_hdr.eth_type 0
PARAM_VALUE 0 dev->av_tbl.va->eth_hdr.roce_eth_type 0
PARAM_VALUE 0 dev->av_tbl.va->eth_hdr.vlan_tag 0
PARAM_VALUE 0 dev->av_tbl.va->grh.pdid_hoplimit 0
PARAM_VALUE 0 dev->av_tbl.va->grh.rsvd 0
PARAM_VALUE 0 dev->av_tbl.va->grh.tclass_flow 0
PARAM_VALUE 0 dev->av_tbl.va->valid 0
PARAM_VALUE 0 dev->cq_tbl 4096-ptr_max
PARAM_VALUE 0 dev->dev_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev_lock.first_waiter 0
PARAM_VALUE 0 dev->dev_lock.magic 4096-ptr_max
PARAM_VALUE 0 dev->dev_lock.osq.tail.counter 0
PARAM_VALUE 0 dev->dev_lock.owner.counter 0
PARAM_VALUE 0 dev->dir 4096-u64max
PARAM_VALUE 0 dev->eq_tbl 4096-ptr_max
PARAM_VALUE 0 dev->hba_port_num 0-63
PARAM_VALUE 0 dev->id 0-7
PARAM_VALUE 0 dev->mbx_cmd 4096-ptr_max
PARAM_VALUE 0 dev->mbx_cmd->async_cqid_ringsize 0-4294967295
PARAM_VALUE 0 dev->mbx_cmd->async_cqid_valid 0-4294967295
PARAM_VALUE 0 dev->mbx_cmd->async_event_bitmap 0-4294967295
PARAM_VALUE 0 dev->mbx_cmd->cnt 0-4294967295
PARAM_VALUE 0 dev->mbx_cmd->cqid_pages 0-4294967295
PARAM_VALUE 0 dev->mbx_cmd->delay 0-4294967295
PARAM_VALUE 0 dev->mbx_cmd->eqn 0-4294967295
PARAM_VALUE 0 dev->mbx_cmd->ev_cnt_flags 0-4294967295
PARAM_VALUE 0 dev->mbx_cmd->num_pages 0-4294967295
PARAM_VALUE 0 dev->mbx_cmd->pdid_cqecnt 0-4294967295
PARAM_VALUE 0 dev->mbx_cmd->pgsz_pgcnt 0-4294967295
PARAM_VALUE 0 dev->mbx_cmd->req.cmd_len 52
PARAM_VALUE 0 dev->mbx_cmd->req.rsvd_version 2
PARAM_VALUE 0 dev->mbx_cmd->req.subsys_op 268
PARAM_VALUE 0 dev->mbx_cmd->req.timeout 20
PARAM_VALUE 0 dev->mbx_cmd->rsvd 0-4294967295
PARAM_VALUE 0 dev->mbx_cmd->rsvd6 0-4294967295
PARAM_VALUE 0 dev->mbx_cmd->valid 0-4294967295
PARAM_VALUE 0 dev->mq.cq.created 1
PARAM_VALUE 0 dev->mq.cq.entry_size 16
PARAM_VALUE 0 dev->mq.cq.head 0
PARAM_VALUE 0 dev->mq.cq.len 256
PARAM_VALUE 0 dev->mq.cq.size 4096
PARAM_VALUE 0 dev->mq.cq.tail 0
PARAM_VALUE 0 dev->mq.cq.va 1-ptr_max
PARAM_VALUE 0 dev->mq.sq.created 1
PARAM_VALUE 0 dev->mq.sq.entry_size 256
PARAM_VALUE 0 dev->mq.sq.len 128
PARAM_VALUE 0 dev->mq.sq.size 32768
PARAM_VALUE 0 dev->mq.sq.tail 0
PARAM_VALUE 0 dev->mq.sq.va 1-ptr_max
PARAM_VALUE 0 dev->mqe_ctx.cmd_done 0
PARAM_VALUE 0 dev->mqe_ctx.cmd_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->mqe_ctx.cmd_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->mqe_ctx.cmd_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->mqe_ctx.cqe_status 0
PARAM_VALUE 0 dev->mqe_ctx.ext_status 0
PARAM_VALUE 0 dev->mqe_ctx.lock.dep_map->name 0-255
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.tag 0-u16max
PARAM_VALUE 0 dev->nic_info.db 4096-ptr_max
PARAM_VALUE 0 dev->nic_info.intr_mode 0-1
PARAM_VALUE 0 dev->nic_info.msix.num_vectors s32min-32
PARAM_VALUE 0 dev->nic_info.msix.start_vector 0-u16max
PARAM_VALUE 0 dev->nic_info.netdev 4096-ptr_max
PARAM_VALUE 0 dev->nic_info.pdev 4096-ptr_max
PARAM_VALUE 0 dev->nic_info.pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->nic_info.pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->nic_info.pdev->dev.cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 dev->nic_info.pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->nic_info.pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 dev->nic_info.pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->nic_info.pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->nic_info.pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->nic_info.pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 dev->nic_info.pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 dev->pd_mgr 0,4096-ptr_max
PARAM_VALUE 0 dev->pd_mgr->dpp_page_index 0-4095
PARAM_VALUE 0 dev->pd_mgr->pd_dpp_bitmap 0,16,4096-ptr_max
PARAM_VALUE 0 dev->pd_mgr->pd_dpp_start 0-u16max
PARAM_VALUE 0 dev->pd_mgr->pd_norm_bitmap 0,16,4096-ptr_max
PARAM_VALUE 0 dev->pd_mgr->pd_norm_start 0-u16max
PARAM_VALUE 0 dev->pd_mgr->pd_prealloc_valid 1
PARAM_VALUE 0 dev->qp_tbl 0,4096-ptr_max
PARAM_VALUE 0 dev->stag_arr 16,4096-ptr_max
PARAM_VALUE 0 dev->stats_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->stats_lock.first_waiter 0
PARAM_VALUE 0 dev->stats_lock.magic 4096-ptr_max
PARAM_VALUE 0 dev->stats_lock.osq.tail.counter 0
PARAM_VALUE 0 dev->stats_lock.owner.counter 0
PARAM_VALUE 0 dev->stats_mem.debugfs_mem 4096-ptr_max
PARAM_VALUE 0 dev->stats_mem.size 1848
PARAM_VALUE 0 dev->stats_mem.va 0-ptr_max
BUF_SIZE 0 dev->mbx_cmd 236
MEM_ZERO 0 &dev->mqe_ctx
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->asic_id 0
LOCK2 global &be_adapter_list_lock

drivers/infiniband/hw/ocrdma/ocrdma_ah.c ocrdma_create_ah() -> ocrdma_init_service_level()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->update_sl.counter 0-s32max
DATA_SOURCE 0 dev r get_ocrdma_dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/ocrdma/ocrdma_hw.c ocrdma_set_av_params() -> ocrdma_init_service_level()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->update_sl.counter 0-s32max
DATA_SOURCE 0 dev r get_ocrdma_dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->dev_lock