Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/cq.c mlx5_ib_create_cq() -> destroy_cq_kernel()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mdev 4096-ptr_max
PARAM_VALUE 0 dev->mdev->caps.hca 4096-ptr_max
PARAM_VALUE 0 dev->mdev->cmd.vars.throttle_sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->mdev->cmd.vars.unprivileged_sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->mdev->priv.db_node_pools 4096-ptr_max
PARAM_VALUE 0 dev->mdev->priv.eq_table 4096-ptr_max
PARAM_VALUE 0 dev->mdev->priv.eq_table->max_comp_eqs s32min-s32max
PARAM_VALUE 1 cq 4096-ptr_max
PARAM_VALUE 1 cq->buf.cqe_size 64,128
PARAM_VALUE 1 cq->buf.fbc.frag_sz_m1 63
PARAM_VALUE 1 cq->buf.fbc.frags 1-u64max
PARAM_VALUE 1 cq->buf.fbc.log_frag_strides 6
PARAM_VALUE 1 cq->buf.fbc.log_stride 6
PARAM_VALUE 1 cq->buf.fbc.log_sz 6
PARAM_VALUE 1 cq->buf.fbc.strides_offset 0
PARAM_VALUE 1 cq->buf.fbc.sz_m1 63
PARAM_VALUE 1 cq->buf.frag_buf.frags 1-u64max
PARAM_VALUE 1 cq->buf.frag_buf.npages 0-524288
PARAM_VALUE 1 cq->buf.frag_buf.page_shift 12
PARAM_VALUE 1 cq->cqe_size 64,128
PARAM_VALUE 1 cq->db->db 0-255
PARAM_VALUE 1 cq->db.db 4096-ptr_max
PARAM_VALUE 1 cq->db.index 0-64
PARAM_VALUE 1 cq->db.u.pool_page 4096-ptr_max
PARAM_VALUE 1 cq->list_recv_qp.next 4096-ptr_max
PARAM_VALUE 1 cq->list_recv_qp.next->next 4096-ptr_max
PARAM_VALUE 1 cq->list_recv_qp.prev 4096-ptr_max
PARAM_VALUE 1 cq->list_recv_qp.prev->next 4096-ptr_max
PARAM_VALUE 1 cq->list_recv_qp.prev->prev 4096-ptr_max
PARAM_VALUE 1 cq->list_send_qp.next 4096-ptr_max
PARAM_VALUE 1 cq->list_send_qp.next->next 4096-ptr_max
PARAM_VALUE 1 cq->list_send_qp.prev 4096-ptr_max
PARAM_VALUE 1 cq->list_send_qp.prev->next 4096-ptr_max
PARAM_VALUE 1 cq->list_send_qp.prev->prev 4096-ptr_max
PARAM_VALUE 1 cq->mcq.cqe_sz 64,128
PARAM_VALUE 1 cq->mcq.set_ci_db 4096-ptr_max
PARAM_VALUE 1 cq->resize_mutex.dep_map->name 0-255
PARAM_VALUE 1 cq->resize_mutex.first_waiter 0
PARAM_VALUE 1 cq->resize_mutex.magic 4096-ptr_max
PARAM_VALUE 1 cq->resize_mutex.osq.tail.counter 0
PARAM_VALUE 1 cq->resize_mutex.owner.counter 0
CAPPED_DATA 0 dev->mdev->priv.eq_table->max_comp_eqs 1
CAPPED_DATA 1 cq->ibcq.cqe 1
DATA_SOURCE 0 dev r to_mdev
DATA_SOURCE 1 cq r to_mcq
FUZZY_MAX 1 cq->buf.cqe_size 128
FUZZY_MAX 1 cq->mcq.cqe_sz 128
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mlx5/cq.c mlx5_ib_post_destroy_cq() -> destroy_cq_kernel()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 cq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL