Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/mad.c hfi1_process_opa_mad() -> process_subn_opa()

Type Parameter Key Value
PARAM_VALUE 0 ibdev 4096-ptr_max
PARAM_VALUE 0 ibdev->ops.process_mad 1-u64max
PARAM_VALUE 1 mad_flags 0
PARAM_VALUE 3 in_mad 4096-ptr_max
PARAM_VALUE 3 in_mad->mad_hdr.mgmt_class 1,129
PARAM_VALUE 3 in_mad->mgmt_class 0-255
PARAM_VALUE 5 resp_len 6829729139851755520
PARAM_VALUE 6 local_mad 0-1
BUF_SIZE 3 in_mad (-1),376,392,408,416,608,2400
BUF_SIZE 3 in_mad (-1),376,392,408,416,608,2400
CAPPED_DATA 0 ibdev 1
DATA_SOURCE 0 ibdev $0
DATA_SOURCE 1 mad_flags $1
DATA_SOURCE 2 port $2
DATA_SOURCE 3 in_mad $5
DATA_SOURCE 4 out_mad $6
DATA_SOURCE 6 local_mad r is_local_mad
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock