Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->ah->device 4096-ptr_max
PARAM_VALUE 0 msg->ah->pd 4096-ptr_max
PARAM_VALUE 0 msg->ah->sgid_attr 0,4096-ptr_max
PARAM_VALUE 0 msg->context 4096-ptr_max
PARAM_VALUE 0 msg->mad->hdr.attr_id 22
PARAM_VALUE 0 msg->mad->hdr.base_version 1
PARAM_VALUE 0 msg->mad->hdr.class_version 2
PARAM_VALUE 0 msg->mad->hdr.method 3
PARAM_VALUE 0 msg->mad->hdr.mgmt_class 7
BUF_SIZE 0 msg 80
DATA_SOURCE 0 msg r cm_alloc_response_msg_no_ah
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr_len s32min-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr_len s32min-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->mad->hdr.attr_id 21
PARAM_VALUE 0 msg->mad->hdr.base_version 1
PARAM_VALUE 0 msg->mad->hdr.class_version 2
PARAM_VALUE 0 msg->mad->hdr.method 3
PARAM_VALUE 0 msg->mad->hdr.mgmt_class 7
BUF_SIZE 0 msg 80
DATA_SOURCE 0 msg r cm_alloc_msg
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cm_id_priv->lock
LOCK2 irq
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cm_id_private)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->ah->device 4096-ptr_max
PARAM_VALUE 0 msg->ah->pd 4096-ptr_max
PARAM_VALUE 0 msg->ah->sgid_attr 0,4096-ptr_max
PARAM_VALUE 0 msg->context 4096-ptr_max
PARAM_VALUE 0 msg->mad->hdr.attr_id 17
PARAM_VALUE 0 msg->mad->hdr.base_version 1
PARAM_VALUE 0 msg->mad->hdr.class_version 2
PARAM_VALUE 0 msg->mad->hdr.method 3
PARAM_VALUE 0 msg->mad->hdr.mgmt_class 7
BUF_SIZE 0 msg 80
DATA_SOURCE 0 msg r cm_alloc_response_msg_no_ah
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->context 4096-ptr_max
PARAM_VALUE 0 msg->mad 4096-ptr_max
BUF_SIZE 0 msg (-1),80
BUF_SIZE 0 msg (-1),80
DATA_SOURCE 0 msg $1
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->mad->hdr.attr_id 22
PARAM_VALUE 0 msg->mad->hdr.base_version 1
PARAM_VALUE 0 msg->mad->hdr.class_version 2
PARAM_VALUE 0 msg->mad->hdr.method 3
PARAM_VALUE 0 msg->mad->hdr.mgmt_class 7
BUF_SIZE 0 msg 80
DATA_SOURCE 0 msg r cm_alloc_msg
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cm_id_priv->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct cm_id_private)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->context 4096-ptr_max
PARAM_VALUE 0 msg->mad 4096-ptr_max
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->mad->hdr.attr_id 18
PARAM_VALUE 0 msg->mad->hdr.base_version 1
PARAM_VALUE 0 msg->mad->hdr.class_version 2
PARAM_VALUE 0 msg->mad->hdr.method 3
PARAM_VALUE 0 msg->mad->hdr.mgmt_class 7
BUF_SIZE 0 msg 80
DATA_SOURCE 0 msg r cm_alloc_msg
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cm_id_priv->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct cm_id_private)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->mad->hdr.attr_id 24
PARAM_VALUE 0 msg->mad->hdr.base_version 1
PARAM_VALUE 0 msg->mad->hdr.class_version 2
PARAM_VALUE 0 msg->mad->hdr.method 3
PARAM_VALUE 0 msg->mad->hdr.mgmt_class 7
BUF_SIZE 0 msg 80
DATA_SOURCE 0 msg r cm_alloc_msg
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/core/cm.c ib_send_cm_rtu() -> cm_free_msg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->mad->hdr.attr_id 20
PARAM_VALUE 0 msg->mad->hdr.base_version 1
PARAM_VALUE 0 msg->mad->hdr.class_version 2
PARAM_VALUE 0 msg->mad->hdr.method 3
PARAM_VALUE 0 msg->mad->hdr.mgmt_class 7
BUF_SIZE 0 msg 80
DATA_SOURCE 0 msg r cm_alloc_msg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock