Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/cm.c cm_sidr_req_handler() -> cm_format_sidr_req_event()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PARAM_VALUE 0 work->cm_event.event 16
PARAM_VALUE 0 work->mad_recv_wc 4096-ptr_max
PARAM_VALUE 0 work->mad_recv_wc->recv_buf.mad 4096-ptr_max
PARAM_VALUE 0 work->mad_recv_wc->wc 4096-ptr_max
PARAM_VALUE 0 work->port 4096-ptr_max
PARAM_VALUE 0 work->port->cm_dev 4096-ptr_max
PARAM_VALUE 0 work->port->cm_dev->ib_device 4096-ptr_max
PARAM_VALUE 0 work->port->cm_dev->ib_device->port_data 4096-ptr_max
PARAM_VALUE 1 rx_cm_id 4096-ptr_max
PARAM_VALUE 1 rx_cm_id->av.ah_attr->roce.dmac 0-255
PARAM_VALUE 1 rx_cm_id->av.ah_attr.ah_flags 0-1
PARAM_VALUE 1 rx_cm_id->av.ah_attr.grh.flow_label 0
PARAM_VALUE 1 rx_cm_id->av.ah_attr.grh.hop_limit 0
PARAM_VALUE 1 rx_cm_id->av.ah_attr.grh.sgid_attr 0,4096-ptr_max
PARAM_VALUE 1 rx_cm_id->av.ah_attr.grh.sgid_index 0
PARAM_VALUE 1 rx_cm_id->av.ah_attr.ib.dlid 0
PARAM_VALUE 1 rx_cm_id->av.ah_attr.ib.src_path_bits 0
PARAM_VALUE 1 rx_cm_id->av.ah_attr.opa.dlid 0
PARAM_VALUE 1 rx_cm_id->av.ah_attr.opa.make_grd 0
PARAM_VALUE 1 rx_cm_id->av.ah_attr.static_rate 0
PARAM_VALUE 1 rx_cm_id->av.ah_attr.type 0-3
PARAM_VALUE 1 rx_cm_id->av.port 0,4096-ptr_max
PARAM_VALUE 1 rx_cm_id->comp.done 0
PARAM_VALUE 1 rx_cm_id->comp.wait.lock.magic 3735899821
PARAM_VALUE 1 rx_cm_id->comp.wait.lock.owner (-1)
PARAM_VALUE 1 rx_cm_id->comp.wait.lock.owner_cpu u32max
PARAM_VALUE 1 rx_cm_id->comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 rx_cm_id->comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 1 rx_cm_id->comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 rx_cm_id->comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 rx_cm_id->comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 rx_cm_id->id.remote_cm_qpn 1
PARAM_VALUE 1 rx_cm_id->id.state 15
PARAM_VALUE 1 rx_cm_id->refcount.refs.counter 1
PARAM_VALUE 1 rx_cm_id->sidr_id_node.__rb_parent_color 1
PARAM_VALUE 1 rx_cm_id->sidr_id_node.rb_left 4096-ptr_max
PARAM_VALUE 1 rx_cm_id->sidr_id_node.rb_right 4096-ptr_max
PARAM_VALUE 1 rx_cm_id->work_count.counter (-1)
PARAM_VALUE 1 rx_cm_id->work_list.next 4096-ptr_max
PARAM_VALUE 1 rx_cm_id->work_list.next->next 4096-ptr_max
PARAM_VALUE 1 rx_cm_id->work_list.prev 4096-ptr_max
PARAM_VALUE 1 rx_cm_id->work_list.prev->next 4096-ptr_max
PARAM_VALUE 1 rx_cm_id->work_list.prev->prev 4096-ptr_max
PARAM_VALUE 2 listen_id 4096-ptr_max
BUF_SIZE 1 rx_cm_id 552
CAPPED_DATA 0 work->port 1
CAPPED_DATA 1 rx_cm_id->id.device 1
CAPPED_DATA 1 rx_cm_id->id.service_id 1
DATA_SOURCE 0 work $0
DATA_SOURCE 1 rx_cm_id r cm_alloc_id_priv
MEM_ZERO 1 &rx_cm_id->av.ah_attr
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 rx_cm_id->id.device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 1 rx_cm_id->id.device->num_comp_vectors
HALF_LOCKED2 &pool->lock