Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx4/mad.c mlx4_ib_process_mad() -> iboe_process_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-1
PARAM_VALUE 3 in_wc 0,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 5 in_mad->mad_hdr.attr_id 1,18,29
PARAM_VALUE 5 in_mad->mad_hdr.mgmt_class 4
BUF_SIZE 5 in_mad (-1),256,376,392,408,416,608,2400
BUF_SIZE 5 in_mad (-1),256,376,392,408,416,608,2400
BUF_SIZE 6 out_mad (-1),256
BUF_SIZE 6 out_mad (-1),256
CAPPED_DATA 0 ibdev 1
DATA_SOURCE 0 ibdev $0
DATA_SOURCE 1 mad_flags $1
DATA_SOURCE 2 port_num $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
FUZZY_MAX 5 in_mad->mad_hdr.attr_id 29
HARD_MAX 1 mad_flags 1
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/hw/mlx4/mad.c mlx4_ib_process_mad() -> iboe_process_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-1
PARAM_VALUE 3 in_wc 0,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
BUF_SIZE 5 in_mad (-1),256,376,392,408,416,608,2400
BUF_SIZE 5 in_mad (-1),256,376,392,408,416,608,2400
BUF_SIZE 6 out_mad (-1),256
BUF_SIZE 6 out_mad (-1),256
CAPPED_DATA 0 ibdev 1
DATA_SOURCE 0 ibdev $0
DATA_SOURCE 1 mad_flags $1
DATA_SOURCE 2 port_num $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
HARD_MAX 1 mad_flags 1
RX_PATH
TASK_NOT_RUNNING