Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

drivers/infiniband/hw/mthca/mthca_mad.c mthca_free_agents() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah 1-u64max
PARAM_VALUE 1 flags 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mthca_device_mutex

drivers/infiniband/hw/mthca/mthca_mad.c update_sm_ah() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah 1-u64max
PARAM_VALUE 1 flags 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->sm_lock
LOCK2 flags
TYPE_LOCK (struct mthca_dev)->sm_lock

drivers/infiniband/hw/mlx4/mad.c mlx4_ib_free_pv_qp_bufs() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah 1-u64max
PARAM_VALUE 1 flags 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mlx4/mad.c mlx4_ib_mad_cleanup() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah 1-u64max
PARAM_VALUE 1 flags 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/infiniband/hw/mlx4/mad.c mlx4_ib_send_to_slave() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah 1-u64max
PARAM_VALUE 1 flags 0
NOCHECK_CALL
HALF_LOCKED2 &group->lock
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mlx4/mad.c mlx4_ib_send_to_slave() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah 4096-ptr_max
PARAM_VALUE 0 ah->device 4096-ptr_max
PARAM_VALUE 0 ah->device->ops.size_ib_ah 0-4000000
PARAM_VALUE 0 ah->pd 4096-ptr_max
PARAM_VALUE 0 ah->pd->device 4096-ptr_max
PARAM_VALUE 0 ah->sgid_attr 0,4096-ptr_max
PARAM_VALUE 0 ah->sgid_attr->index 0-255
PARAM_VALUE 1 flags 0
BUF_SIZE 0 ah s32min-s32max
DATA_SOURCE 0 ah r rdma_create_ah
NOCHECK_CALL
HALF_LOCKED2 &group->lock
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mlx4/mad.c mlx4_ib_tunnel_comp_worker() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 1 flags 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mlx4/mad.c mlx4_ib_tunnel_comp_worker() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 1 flags 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/mlx4/mad.c send_handler() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah 1-u64max
PARAM_VALUE 1 flags 0
BUF_SIZE 0 ah s32min,88,140
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mlx4/mad.c update_sm_ah() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah 1-u64max
PARAM_VALUE 1 flags 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->sm_lock
LOCK2 flags
TYPE_LOCK (struct mlx4_ib_dev)->sm_lock

drivers/infiniband/sw/rdmavt/mad.c rvt_free_mad_agents() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 1 flags 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/core/mad_rmpp.c ack_ds_ack() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah->device 4096-ptr_max
PARAM_VALUE 0 ah->pd 4096-ptr_max
PARAM_VALUE 0 ah->sgid_attr 0,4096-ptr_max
PARAM_VALUE 1 flags 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/mad_rmpp.c alloc_response_msg() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah 4096-ptr_max
PARAM_VALUE 0 ah->device 4096-ptr_max
PARAM_VALUE 0 ah->device->ops.size_ib_ah 0-4000000
PARAM_VALUE 0 ah->pd 4096-ptr_max
PARAM_VALUE 0 ah->pd->device 4096-ptr_max
PARAM_VALUE 0 ah->sgid_attr 0,4096-ptr_max
PARAM_VALUE 0 ah->sgid_attr->index 0-255
PARAM_VALUE 1 flags 1
BUF_SIZE 0 ah s32min-s32max
DATA_SOURCE 0 ah r ib_create_ah_from_wc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/mad_rmpp.c destroy_rmpp_recv() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 1 flags 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/core/mad_rmpp.c ib_rmpp_send_handler() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 1 flags 1
CAPPED_DATA 0 ah 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/core/mad_rmpp.c nack_recv() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah->device 4096-ptr_max
PARAM_VALUE 0 ah->pd 4096-ptr_max
PARAM_VALUE 0 ah->sgid_attr 0,4096-ptr_max
PARAM_VALUE 1 flags 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/sa_query.c free_sm_ah() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 1 flags 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &event->device->event_handler_rwsem
HALF_LOCKED2 &port->ah_lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/infiniband/core/cm.c cm_alloc_msg_agent() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah 4096-ptr_max
PARAM_VALUE 0 ah->device 4096-ptr_max
PARAM_VALUE 0 ah->device->ops.size_ib_ah 0-4000000
PARAM_VALUE 0 ah->pd 4096-ptr_max
PARAM_VALUE 0 ah->pd->device 4096-ptr_max
PARAM_VALUE 0 ah->sgid_attr 0,4096-ptr_max
PARAM_VALUE 0 ah->sgid_attr->index 0-255
PARAM_VALUE 1 flags 0
BUF_SIZE 0 ah s32min-s32max
DATA_SOURCE 0 ah r rdma_create_ah
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cm_id_priv->av.port->cm_dev->mad_agent_lock
LOCK2 &cm_id_priv->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct cm_device)->mad_agent_lock
TYPE_LOCK (struct cm_id_private)->lock

drivers/infiniband/core/cm.c cm_free_msg() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah 1-u64max
PARAM_VALUE 1 flags 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cm_id_priv->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 irq

drivers/infiniband/core/cm.c cm_free_priv_msg() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah 1-u64max
PARAM_VALUE 1 flags 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cm_id_priv->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct cm_id_private)->lock

drivers/infiniband/ulp/srpt/ib_srpt.c srpt_mad_recv_handler() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah 4096-ptr_max
PARAM_VALUE 0 ah->device 4096-ptr_max
PARAM_VALUE 0 ah->device->ops.size_ib_ah 0-4000000
PARAM_VALUE 0 ah->pd 4096-ptr_max
PARAM_VALUE 0 ah->pd->device 4096-ptr_max
PARAM_VALUE 0 ah->sgid_attr 0,4096-ptr_max
PARAM_VALUE 0 ah->sgid_attr->index 0-255
PARAM_VALUE 1 flags 1
BUF_SIZE 0 ah s32min-s32max
DATA_SOURCE 0 ah r ib_create_ah_from_wc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/ulp/srpt/ib_srpt.c srpt_mad_send_handler() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 1 flags 1
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/core/user_mad.c ib_umad_write() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah 4096-ptr_max
PARAM_VALUE 0 ah->device 4096-ptr_max
PARAM_VALUE 0 ah->device->ops.size_ib_ah 0-4000000
PARAM_VALUE 0 ah->pd 4096-ptr_max
PARAM_VALUE 0 ah->pd->device 4096-ptr_max
PARAM_VALUE 0 ah->sgid_attr 0,4096-ptr_max
PARAM_VALUE 0 ah->sgid_attr->index 0-255
PARAM_VALUE 0 ah->type 0-3
PARAM_VALUE 1 flags 1
BUF_SIZE 0 ah s32min-s32max
DATA_SOURCE 0 ah r rdma_create_user_ah
NOCHECK_CALL
LOCK2 &file->mutex
TYPE_LOCK (struct ib_umad_file)->mutex

drivers/infiniband/core/user_mad.c send_handler() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 1 flags 1
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/core/agent.c agent_send_handler() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 1 flags 1
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/core/agent.c agent_send_response() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 0 ah 4096-ptr_max
PARAM_VALUE 0 ah->device 4096-ptr_max
PARAM_VALUE 0 ah->device->ops.size_ib_ah 0-4000000
PARAM_VALUE 0 ah->pd 4096-ptr_max
PARAM_VALUE 0 ah->pd->device 4096-ptr_max
PARAM_VALUE 0 ah->sgid_attr 0,4096-ptr_max
PARAM_VALUE 0 ah->sgid_attr->index 0-255
PARAM_VALUE 1 flags 1
BUF_SIZE 0 ah s32min-s32max
DATA_SOURCE 0 ah r ib_create_ah_from_wc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/ulp/ipoib/ipoib_ib.c ipoib_reap_dead_ahs() -> rdma_destroy_ah()

Type Parameter Key Value
PARAM_VALUE 1 flags 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &priv->dev->tx_global_lock
LOCK2 &priv->lock
LOCK2 bh
LOCK2 flags
TYPE_LOCK (struct ipoib_dev_priv)->lock
TYPE_LOCK (struct net_device)->tx_global_lock