Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/hw/mlx4/mad.c __propagate_pkey_ev() -> mlx4_gen_pkey_eqe()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->caps.pkey_table_len 4096-ptr_max
PARAM_VALUE 0 dev->caps.sqp_demux 1-u16max
PARAM_VALUE 1 slave 0-65534
CAPPED_DATA 1 slave 1
DATA_SOURCE 2 port $1
PARAM_COMPARE 0 dev->caps.sqp_demux > $1
PARAM_COMPARE 1 slave < $0->caps.sqp_demux
CONSTRAINT 1 slave <3796
RX_PATH
TASK_NOT_RUNNING
UNITS 1 slave unit_array_size

drivers/infiniband/hw/mlx4/sysfs.c store_port_pkey() -> mlx4_gen_pkey_eqe()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->caps.pkey_table_len 4096-ptr_max
UNITS 1 slave unit_array_size
UNITS 2 port unit_array_size