Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev 4096-ptr_max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 port $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/mlx4/main.c mlx4_ib_event() -> mlx4_ib_invalidate_all_guid_record()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->dev->flags 128-u64max
CAPPED_DATA 1 port 1
PARAM_COMPARE 0 dev->num_ports >= $1
PARAM_COMPARE 1 port <= $0->num_ports
NOCHECK_CALL
UNITS 1 port unit_array_size