Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 port->counters 4096-ptr_max
PARAM_VALUE 1 mad_recv_wc 4096-ptr_max
PARAM_VALUE 2 direct_retry 1
PARAM_VALUE 3 msg 275314413797830656
PARAM_VALUE 3 *msg 0
HALF_LOCKED2 &pool->lock

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

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 1 mad_recv_wc 4096-ptr_max
PARAM_VALUE 1 mad_recv_wc->recv_buf.mad 4096-ptr_max
PARAM_VALUE 1 mad_recv_wc->wc 4096-ptr_max
PARAM_VALUE 2 direct_retry 1
PARAM_VALUE 3 msg 8236155769273925632
PARAM_VALUE 3 *msg 0
CAPPED_DATA 0 port 1
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 port->counters 4096-ptr_max
PARAM_VALUE 1 mad_recv_wc 4096-ptr_max
PARAM_VALUE 2 direct_retry 1
PARAM_VALUE 3 msg 6255500032732200960
PARAM_VALUE 3 *msg 0
DATA_SOURCE 0 port $0
DATA_SOURCE 1 mad_recv_wc $1
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 1 mad_recv_wc 4096-ptr_max
PARAM_VALUE 1 mad_recv_wc->recv_buf.mad 4096-ptr_max
PARAM_VALUE 2 direct_retry 0
PARAM_VALUE 3 msg 4804126502201765888
PARAM_VALUE 3 *msg 0
DATA_SOURCE 0 port $0
DATA_SOURCE 1 mad_recv_wc $1
HALF_LOCKED2 &pool->lock