Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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_wc 4096-ptr_max
PARAM_VALUE 3 in_wc->status 0
PARAM_VALUE 4 in_grh 0,4096-ptr_max
PARAM_VALUE 5 in_mad 4096-ptr_max
PARAM_VALUE 7 out_mad_size 7939206328594202624,8732041232400683008
PARAM_VALUE 8 out_mad_pkey_index 3307290071656185856,5431362983843672064
PARAM_VALUE 8 *out_mad_pkey_index 0
BUF_SIZE 5 in_mad (-1),376,392,408,416,608,2400
BUF_SIZE 5 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_wc $3
DATA_SOURCE 4 in_grh $4
DATA_SOURCE 5 in_mad $5
DATA_SOURCE 6 out_mad $6
DATA_SOURCE 7 out_mad_size $7
DATA_SOURCE 8 out_mad_pkey_index $8
RX_PATH
TASK_NOT_RUNNING