Defined in 3 files as a function:

Referenced in 11 files:

Smatch caller information:

drivers/infiniband/hw/mthca/mthca_provider.c mthca_create_srq() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq->pd (-1),1-s32max
BUF_SIZE 0 ibsrq->srq_context (-1),280-s32max
DATA_SOURCE 0 ibsrq $0
STR_LEN 0 ibsrq->device (-1),6-9,11-12
STR_LEN 0 ibsrq->pd->device (-1),6-9,11-12
STR_LEN 0 ibsrq->pd->res.kern_name (-1),7,10
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ibsrq->srq_type 0,3-u32max
NO_OVERFLOW_SIMPLE 0 ibsrq->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 ibsrq->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 ibsrq->device->phys_port_cnt
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex

drivers/infiniband/hw/mthca/mthca_provider.c mthca_destroy_srq() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq (-1),1-s32max
BUF_SIZE 0 ibsrq (-1),1-s32max
DATA_SOURCE 0 ibsrq $0
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mthca/mthca_provider.c mthca_destroy_srq() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq (-1),1-s32max
BUF_SIZE 0 ibsrq (-1),1-s32max
DATA_SOURCE 0 ibsrq $0
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx5/qp.c __mlx5_ib_modify_qp() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 1-u64max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &qp->mutex
HALF_LOCKED2 &ibqp->qp_sec->mutex
TYPE_LOCK (struct mlx5_ib_qp)->mutex

drivers/infiniband/hw/mlx5/qp.c create_dci() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx5/qp.c create_dci() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx5/qp.c create_dct() -> to_msrq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx5/qp.c create_kernel_qp() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx5/qp.c create_kernel_qp() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx5/qp.c create_user_qp() -> to_msrq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx5/qp.c create_user_qp() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx5/qp.c create_user_qp() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx5/qp.c create_xrc_tgt_qp() -> to_msrq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx5/qp.c destroy_qp_common() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 1-u64max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->reset_flow_resource_lock
LOCK2 flags
HALF_LOCKED2 &send_cq->lock
TYPE_LOCK (struct mlx5_ib_dev)->reset_flow_resource_lock

drivers/infiniband/hw/mlx4/qp.c destroy_qp_common() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 1-u64max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->reset_flow_resource_lock
LOCK2 &send_cq->lock
LOCK2 flags
TYPE_LOCK (struct mlx4_ib_cq)->lock
TYPE_LOCK (struct mlx4_ib_dev)->reset_flow_resource_lock

drivers/infiniband/hw/mthca/mthca_srq.c mthca_arbel_post_srq_recv() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq (-1),1-s32max
BUF_SIZE 0 ibsrq (-1),1-s32max
DATA_SOURCE 0 ibsrq $0
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mthca/mthca_srq.c mthca_modify_srq() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq (-1),1-s32max
BUF_SIZE 0 ibsrq (-1),1-s32max
DATA_SOURCE 0 ibsrq $0

drivers/infiniband/hw/mthca/mthca_srq.c mthca_query_srq() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq 1-s32max
BUF_SIZE 0 ibsrq 1-s32max
DATA_SOURCE 0 ibsrq $0
HALF_LOCKED2 &file->device->disassociate_srcu

drivers/infiniband/hw/mthca/mthca_srq.c mthca_tavor_post_srq_recv() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq (-1),1-s32max
BUF_SIZE 0 ibsrq (-1),1-s32max
DATA_SOURCE 0 ibsrq $0
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx5/srq.c mlx5_ib_create_srq() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq->pd (-1),1-s32max
BUF_SIZE 0 ibsrq->srq_context (-1),280-s32max
DATA_SOURCE 0 ibsrq $0
STR_LEN 0 ibsrq->device (-1),6-9,11-12
STR_LEN 0 ibsrq->pd->device (-1),6-9,11-12
STR_LEN 0 ibsrq->pd->res.kern_name (-1),7,10
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ibsrq->srq_type 0,3-u32max
NO_OVERFLOW_SIMPLE 0 ibsrq->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 ibsrq->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 ibsrq->device->phys_port_cnt
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex

drivers/infiniband/hw/mlx5/srq.c mlx5_ib_destroy_srq() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq (-1),1-s32max
BUF_SIZE 0 ibsrq (-1),1-s32max
DATA_SOURCE 0 ibsrq $0
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx5/srq.c mlx5_ib_modify_srq() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq (-1),1-s32max
BUF_SIZE 0 ibsrq (-1),1-s32max
DATA_SOURCE 0 ibsrq $0

drivers/infiniband/hw/mlx5/srq.c mlx5_ib_post_srq_recv() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq (-1),1-s32max
BUF_SIZE 0 ibsrq (-1),1-s32max
DATA_SOURCE 0 ibsrq $0
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx5/srq.c mlx5_ib_query_srq() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq 1-s32max
BUF_SIZE 0 ibsrq 1-s32max
DATA_SOURCE 0 ibsrq $0
HALF_LOCKED2 &file->device->disassociate_srcu

drivers/infiniband/hw/mlx4/srq.c mlx4_ib_create_srq() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq->pd (-1),1-s32max
BUF_SIZE 0 ibsrq->srq_context (-1),280-s32max
DATA_SOURCE 0 ibsrq $0
STR_LEN 0 ibsrq->device (-1),6-9,11-12
STR_LEN 0 ibsrq->pd->device (-1),6-9,11-12
STR_LEN 0 ibsrq->pd->res.kern_name (-1),7,10
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ibsrq->srq_type 0,3-u32max
NO_OVERFLOW_SIMPLE 0 ibsrq->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 ibsrq->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 ibsrq->device->phys_port_cnt
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex

drivers/infiniband/hw/mlx4/srq.c mlx4_ib_destroy_srq() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq (-1),1-s32max
BUF_SIZE 0 ibsrq (-1),1-s32max
DATA_SOURCE 0 ibsrq $0
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx4/srq.c mlx4_ib_modify_srq() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq (-1),1-s32max
BUF_SIZE 0 ibsrq (-1),1-s32max
DATA_SOURCE 0 ibsrq $0

drivers/infiniband/hw/mlx4/srq.c mlx4_ib_post_srq_recv() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq (-1),1-s32max
BUF_SIZE 0 ibsrq (-1),1-s32max
DATA_SOURCE 0 ibsrq $0
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx4/srq.c mlx4_ib_query_srq() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 4096-ptr_max
BUF_SIZE 0 ibsrq 1-s32max
BUF_SIZE 0 ibsrq 1-s32max
DATA_SOURCE 0 ibsrq $0
HALF_LOCKED2 &file->device->disassociate_srcu

drivers/infiniband/hw/mlx5/cq.c handle_responder() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &cq->lock
LOCK2 flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mlx5_ib_cq)->lock

drivers/infiniband/hw/mlx5/cq.c mlx5_poll_one() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &cq->lock
LOCK2 flags
TYPE_LOCK (struct mlx5_ib_cq)->lock

drivers/infiniband/hw/mlx5/devx.c devx_is_valid_obj_id() -> to_msrq()

Type Parameter Key Value
BUF_SIZE 0 ibsrq 1-s32max

drivers/infiniband/hw/mlx5/devx.c devx_is_valid_obj_id() -> to_msrq()

Type Parameter Key Value
BUF_SIZE 0 ibsrq 1-s32max

drivers/infiniband/hw/mlx4/cq.c mlx4_ib_poll_one() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &cq->lock
LOCK2 flags
TYPE_LOCK (struct mlx4_ib_cq)->lock

drivers/infiniband/hw/mthca/mthca_cq.c mthca_poll_one() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &cq->lock
LOCK2 flags
TYPE_LOCK (struct mthca_cq)->lock

drivers/infiniband/hw/mthca/mthca_qp.c __mthca_modify_qp() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 1-u64max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &qp->mutex
HALF_LOCKED2 &ibqp->qp_sec->mutex
TYPE_LOCK (struct mthca_qp)->mutex

drivers/infiniband/hw/mthca/mthca_qp.c __mthca_modify_qp() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 1-u64max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &qp->mutex
HALF_LOCKED2 &ibqp->qp_sec->mutex
TYPE_LOCK (struct mthca_qp)->mutex

drivers/infiniband/hw/mthca/mthca_qp.c mthca_free_qp() -> to_msrq()

Type Parameter Key Value
PARAM_VALUE 0 ibsrq 1-u64max
RX_PATH
TASK_NOT_RUNNING