Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/cm.c cm_alloc_response_msg() -> cm_create_response_msg_ah()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->mad_agent 4096-ptr_max
PARAM_VALUE 0 port->mad_agent->device 4096-ptr_max
PARAM_VALUE 0 port->mad_agent->device->port_data 4096-ptr_max
PARAM_VALUE 1 mad_recv_wc 4096-ptr_max
PARAM_VALUE 1 mad_recv_wc->wc 4096-ptr_max
PARAM_VALUE 2 msg 4096-ptr_max
PARAM_VALUE 2 msg->context 4096-ptr_max
PARAM_VALUE 2 msg->hdr_len 24
PARAM_VALUE 2 msg->mad 4096-ptr_max
PARAM_VALUE 2 msg->mad_agent 4096-ptr_max
BUF_SIZE 2 msg 80
DATA_SOURCE 0 port $0
DATA_SOURCE 1 mad_recv_wc $1
DATA_SOURCE 2 msg r cm_alloc_response_msg_no_ah
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->counters 4096-ptr_max
PARAM_VALUE 0 port->mad_agent 4096-ptr_max
PARAM_VALUE 0 port->mad_agent->device 4096-ptr_max
PARAM_VALUE 0 port->mad_agent->device->port_data 4096-ptr_max
PARAM_VALUE 1 mad_recv_wc 4096-ptr_max
PARAM_VALUE 1 mad_recv_wc->wc 4096-ptr_max
PARAM_VALUE 2 msg 4096-ptr_max
PARAM_VALUE 2 msg->context 4096-ptr_max
PARAM_VALUE 2 msg->hdr_len 24
PARAM_VALUE 2 msg->mad 4096-ptr_max
PARAM_VALUE 2 msg->mad->hdr.attr_id 22
PARAM_VALUE 2 msg->mad->hdr.base_version 1
PARAM_VALUE 2 msg->mad->hdr.class_version 2
PARAM_VALUE 2 msg->mad->hdr.method 3
PARAM_VALUE 2 msg->mad->hdr.mgmt_class 7
PARAM_VALUE 2 msg->mad_agent 4096-ptr_max
BUF_SIZE 2 msg 80
DATA_SOURCE 2 msg r cm_alloc_response_msg_no_ah
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cm_dev 4096-ptr_max
PARAM_VALUE 0 port->cm_dev->ib_device 4096-ptr_max
PARAM_VALUE 0 port->cm_dev->ib_device->port_data 4096-ptr_max
PARAM_VALUE 0 port->counters 4096-ptr_max
PARAM_VALUE 0 port->mad_agent 4096-ptr_max
PARAM_VALUE 0 port->mad_agent->device 4096-ptr_max
PARAM_VALUE 0 port->mad_agent->device->port_data 4096-ptr_max
PARAM_VALUE 1 mad_recv_wc 4096-ptr_max
PARAM_VALUE 1 mad_recv_wc->wc 4096-ptr_max
PARAM_VALUE 2 msg 4096-ptr_max
PARAM_VALUE 2 msg->context 4096-ptr_max
PARAM_VALUE 2 msg->hdr_len 24
PARAM_VALUE 2 msg->mad 4096-ptr_max
PARAM_VALUE 2 msg->mad->hdr.attr_id 17
PARAM_VALUE 2 msg->mad->hdr.base_version 1
PARAM_VALUE 2 msg->mad->hdr.class_version 2
PARAM_VALUE 2 msg->mad->hdr.method 3
PARAM_VALUE 2 msg->mad->hdr.mgmt_class 7
PARAM_VALUE 2 msg->mad_agent 4096-ptr_max
BUF_SIZE 2 msg 80
CAPPED_DATA 0 port 1
DATA_SOURCE 2 msg r cm_alloc_response_msg_no_ah
HALF_LOCKED2 &pool->lock