Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/mellanox/mlx4/eq.c set_and_calc_slave_port_state() -> mlx4_set_slave_port_state()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->caps.num_ports 0-s32max
PARAM_VALUE 0 dev->caps.port_type 4096-ptr_max
PARAM_VALUE 0 dev->num_slaves 1-u64max
PARAM_VALUE 0 dev->persist 4096-ptr_max
PARAM_VALUE 1 slave s32min-(-2),0-s32max
PARAM_VALUE 2 port 1-15
PARAM_VALUE 3 state 1
CAPPED_DATA 1 slave 1
CAPPED_DATA 2 port 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 slave $1
DATA_SOURCE 2 port $2
PARAM_COMPARE 0 dev->caps.num_ports >= $2
PARAM_COMPARE 0 dev->num_slaves > $1
PARAM_COMPARE 1 slave < $0->num_slaves
PARAM_COMPARE 2 port <= $0->caps.num_ports
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 port unit_array_size
LOCK2 &ctx->lock
LOCK2 flags
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct mlx4_slave_state)->lock

drivers/net/ethernet/mellanox/mlx4/eq.c set_and_calc_slave_port_state() -> mlx4_set_slave_port_state()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->caps.num_ports 0-s32max
PARAM_VALUE 0 dev->caps.port_type 4096-ptr_max
PARAM_VALUE 0 dev->num_slaves 1-u64max
PARAM_VALUE 0 dev->persist 4096-ptr_max
PARAM_VALUE 1 slave s32min-(-2),0-s32max
PARAM_VALUE 2 port 1-15
PARAM_VALUE 3 state 0
CAPPED_DATA 1 slave 1
CAPPED_DATA 2 port 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 slave $1
DATA_SOURCE 2 port $2
PARAM_COMPARE 0 dev->caps.num_ports >= $2
PARAM_COMPARE 0 dev->num_slaves > $1
PARAM_COMPARE 1 slave < $0->num_slaves
PARAM_COMPARE 2 port <= $0->caps.num_ports
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 slave unit_array_size
LOCK2 &ctx->lock
LOCK2 flags
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct mlx4_slave_state)->lock

drivers/net/ethernet/mellanox/mlx4/eq.c set_and_calc_slave_port_state() -> mlx4_set_slave_port_state()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->caps.num_ports 0-s32max
PARAM_VALUE 0 dev->num_slaves 1-u64max
PARAM_VALUE 0 dev->persist 4096-ptr_max
PARAM_VALUE 1 slave s32min-(-2),0-s32max
PARAM_VALUE 2 port 1-255
PARAM_VALUE 3 state 2
CAPPED_DATA 1 slave 1
CAPPED_DATA 2 port 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 slave $1
DATA_SOURCE 2 port $2
PARAM_COMPARE 0 dev->caps.num_ports >= $2
PARAM_COMPARE 0 dev->num_slaves > $1
PARAM_COMPARE 1 slave < $0->num_slaves
PARAM_COMPARE 2 port <= $0->caps.num_ports
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 slave unit_array_size
UNITS 2 port unit_array_size
LOCK2 &ctx->lock
LOCK2 flags
TYPE_LOCK (struct mlx4_slave_state)->lock

drivers/net/ethernet/mellanox/mlx4/eq.c set_and_calc_slave_port_state() -> mlx4_set_slave_port_state()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->caps.num_ports 0-s32max
PARAM_VALUE 0 dev->caps.port_type 4096-ptr_max
PARAM_VALUE 0 dev->num_slaves 1-u64max
PARAM_VALUE 0 dev->persist 4096-ptr_max
PARAM_VALUE 1 slave s32min-(-2),0-s32max
PARAM_VALUE 2 port 1-15
PARAM_VALUE 3 state 0
CAPPED_DATA 1 slave 1
CAPPED_DATA 2 port 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 slave $1
DATA_SOURCE 2 port $2
PARAM_COMPARE 0 dev->caps.num_ports >= $2
PARAM_COMPARE 0 dev->num_slaves > $1
PARAM_COMPARE 1 slave < $0->num_slaves
PARAM_COMPARE 2 port <= $0->caps.num_ports
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 slave unit_array_size
LOCK2 &ctx->lock
LOCK2 flags
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct mlx4_slave_state)->lock

drivers/net/ethernet/mellanox/mlx4/eq.c set_and_calc_slave_port_state() -> mlx4_set_slave_port_state()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->caps.num_ports 0-s32max
PARAM_VALUE 0 dev->num_slaves 1-u64max
PARAM_VALUE 0 dev->persist 4096-ptr_max
PARAM_VALUE 1 slave s32min-(-2),0-s32max
PARAM_VALUE 2 port 1-255
PARAM_VALUE 3 state 1
CAPPED_DATA 1 slave 1
CAPPED_DATA 2 port 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 slave $1
DATA_SOURCE 2 port $2
PARAM_COMPARE 0 dev->caps.num_ports >= $2
PARAM_COMPARE 0 dev->num_slaves > $1
PARAM_COMPARE 1 slave < $0->num_slaves
PARAM_COMPARE 2 port <= $0->caps.num_ports
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 slave unit_array_size
UNITS 2 port unit_array_size
LOCK2 &ctx->lock
LOCK2 flags
TYPE_LOCK (struct mlx4_slave_state)->lock