Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/mad.c hfi1_process_ib_mad() -> process_perf()

Type Parameter Key Value
PARAM_VALUE 0 ibdev 4096-ptr_max
PARAM_VALUE 0 ibdev->ops.process_mad 1-u64max
PARAM_VALUE 2 in_mad 4096-ptr_max
PARAM_VALUE 2 in_mad->mad_hdr.base_version 1
PARAM_VALUE 2 in_mad->mad_hdr.mgmt_class 4
BUF_SIZE 2 in_mad (-1),256,376,392,408,416,608,2400
BUF_SIZE 2 in_mad (-1),256,376,392,408,416,608,2400
BUF_SIZE 3 out_mad (-1),256
BUF_SIZE 3 out_mad (-1),256
CAPPED_DATA 0 ibdev 1
DATA_SOURCE 0 ibdev $0
DATA_SOURCE 1 port $2
DATA_SOURCE 2 in_mad $5
DATA_SOURCE 3 out_mad $6
RX_PATH
TASK_NOT_RUNNING