Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/mad.c ib_mad_recv_done() -> generate_unmatched_resp()

Type Parameter Key Value
PARAM_VALUE 0 recv 4096-ptr_max
PARAM_VALUE 0 recv->header.recv_wc.mad_seg_size 256,2048
PARAM_VALUE 0 recv->header.recv_wc.recv_buf.grh 4096-ptr_max
PARAM_VALUE 0 recv->header.recv_wc.recv_buf.mad 4096-ptr_max
PARAM_VALUE 0 recv->header.recv_wc.recv_buf.opa_mad 4096-ptr_max
PARAM_VALUE 0 recv->header.recv_wc.wc 4096-ptr_max
PARAM_VALUE 0 recv->header.recv_wc.wc->status 0
PARAM_VALUE 0 recv->header.wc.status 0
PARAM_VALUE 0 recv->header.wc.wr_cqe 4096-ptr_max
PARAM_VALUE 0 recv->mad 4096-ptr_max
PARAM_VALUE 0 recv->mad->base_version 1,128
PARAM_VALUE 0 recv->mad->method 0-6,8-255
PARAM_VALUE 0 recv->mad->mgmt_class 1,129
PARAM_VALUE 1 response 4096-ptr_max
PARAM_VALUE 2 resp_len 8732041232400683008
BUF_SIZE 0 recv->header.recv_wc.recv_buf.grh 40
BUF_SIZE 0 recv->header.recv_wc.wc 72
BUF_SIZE 1 response s32min-s32max
DATA_SOURCE 1 response r alloc_mad_private
DATA_SOURCE 3 opa r rdma_cap_opa_mad
FUZZY_MAX 0 recv->header.recv_wc.mad_seg_size 2048
BIT_INFO 0 recv->header.recv_wc.mad_seg_size 0x0,0x900
HARD_MAX 0 recv->header.recv_wc.mad_seg_size 2048
RX_PATH
TASK_NOT_RUNNING