Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/ethernet/mellanox/mlx4/resource_tracker.c mlx4_free_resource_tracker() -> mlx4_delete_all_resources_for_slave()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->caps.num_ports s32min-2147483646
PARAM_VALUE 0 dev->num_slaves 1-u64max
PARAM_VALUE 0 dev->persist 4096-ptr_max
PARAM_VALUE 1 slave 0-s32max
CAPPED_DATA 0 dev 1
CAPPED_DATA 0 dev->caps.num_ports 1
CAPPED_DATA 1 slave 1
DATA_SOURCE 0 dev $0
FUZZY_MAX 1 slave 0
PARAM_COMPARE 0 dev->num_slaves > $1
PARAM_COMPARE 1 slave < $0->num_slaves
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 slave unit_array_size
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &persist->interface_state_mutex

drivers/net/ethernet/mellanox/mlx4/eq.c mlx4_master_handle_slave_flr() -> mlx4_delete_all_resources_for_slave()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->num_slaves 1-u64max
PARAM_VALUE 0 dev->persist 4096-ptr_max
PARAM_VALUE 0 dev->persist->interface_state 1-255
PARAM_VALUE 1 slave 0-s32max
BUF_SIZE 0 dev 944
CAPPED_DATA 1 slave 1
FUZZY_MAX 1 slave 0
PARAM_COMPARE 0 dev->num_slaves > $1
PARAM_COMPARE 1 slave < $0->num_slaves
BIT_INFO 0 dev->persist->interface_state 0x1,0xff
NOCHECK_CALL
UNITS 1 slave unit_array_size
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/mellanox/mlx4/cmd.c mlx4_master_do_cmd() -> mlx4_delete_all_resources_for_slave()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->persist 4096-ptr_max
PARAM_VALUE 0 dev->persist->interface_state 1-255
PARAM_VALUE 1 slave 0-64
BUF_SIZE 0 dev 944
CAPPED_DATA 1 slave 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 slave $1
BIT_INFO 0 dev->persist->interface_state 0x1,0xff
NOCHECK_CALL
HALF_LOCKED2 &pool->lock