Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx4/mad.c handle_port_mgmt_change_event() -> handle_client_rereg_event()

Type Parameter Key Value
PARAM_VALUE 1 port_num 0-255
NOCHECK_CALL

drivers/infiniband/hw/mlx4/mad.c smp_snoop() -> handle_client_rereg_event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev 4096-ptr_max
DATA_SOURCE 0 dev r to_mdev
DATA_SOURCE 1 port_num $1
BIT_INFO 0 dev->dev->caps.flags 0x0,0xf7ffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL