Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/net/ethernet/mellanox/mlx4/resource_tracker.c verify_qp_parameters() -> mlx4_get_slave_num_gids()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->caps.function 0-255
PARAM_VALUE 0 dev->caps.port_mask 4096-ptr_max
PARAM_VALUE 0 dev->persist 4096-ptr_max
PARAM_VALUE 0 dev->persist->catas_wq->flush_color s32min-s32max
PARAM_VALUE 0 dev->persist->catas_wq->work_color s32min-s32max
PARAM_VALUE 0 dev->persist->pdev->dev.cma_area->available_count 0-s64max
PARAM_VALUE 0 dev->persist->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->persist->pdev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->persist->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 dev->persist->pdev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dev->persist->pdev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dev->persist->pdev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 *dev->caps.ib_port_def_cap 0-4294967295
PARAM_VALUE 0 *dev->caps.port_mask 0-4294967295
PARAM_VALUE 0 *dev->caps.port_type 0-4294967295
PARAM_VALUE 0 *dev->caps.possible_type 0-4294967295
PARAM_VALUE 0 *dev->phys_caps.gid_phys_table_len 0-4294967295
PARAM_VALUE 0 *dev->phys_caps.pkey_phys_table_len 0-4294967295
PARAM_VALUE 2 port 1-2
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 slave $4
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dev->caps.cqe_size
NO_OVERFLOW_SIMPLE 0 dev->caps.max_counters
NO_OVERFLOW_SIMPLE 0 dev->caps.num_comp_vectors
NO_OVERFLOW_SIMPLE 0 dev->caps.num_ports
NO_OVERFLOW_SIMPLE 0 dev->caps.sqp_demux
NO_OVERFLOW_SIMPLE 0 dev->num_slaves
NO_OVERFLOW_SIMPLE 0 dev->persist->num_vfs
NO_OVERFLOW_SIMPLE 0 dev->persist->pdev->dev.cma_area->available_count
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &priv->cmd.slave_cmd_mutex
TYPE_LOCK (struct mlx4_cmd)->slave_cmd_mutex

drivers/net/ethernet/mellanox/mlx4/resource_tracker.c verify_qp_parameters() -> mlx4_get_slave_num_gids()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->caps.function 0-255
PARAM_VALUE 0 dev->caps.port_mask 4096-ptr_max
PARAM_VALUE 0 dev->persist 4096-ptr_max
PARAM_VALUE 0 dev->persist->catas_wq->flush_color s32min-s32max
PARAM_VALUE 0 dev->persist->catas_wq->work_color s32min-s32max
PARAM_VALUE 0 dev->persist->pdev->dev.cma_area->available_count 0-s64max
PARAM_VALUE 0 dev->persist->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->persist->pdev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->persist->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 dev->persist->pdev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dev->persist->pdev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dev->persist->pdev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 *dev->caps.ib_port_def_cap 0-4294967295
PARAM_VALUE 0 *dev->caps.port_mask 0-4294967295
PARAM_VALUE 0 *dev->caps.port_type 0-4294967295
PARAM_VALUE 0 *dev->caps.possible_type 0-4294967295
PARAM_VALUE 0 *dev->phys_caps.gid_phys_table_len 0-4294967295
PARAM_VALUE 0 *dev->phys_caps.pkey_phys_table_len 0-4294967295
PARAM_VALUE 2 port 1-2
CAPPED_DATA 0 dev->persist->pdev->dev.cma_area->nranges 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 slave $4
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dev->caps.cqe_size
NO_OVERFLOW_SIMPLE 0 dev->caps.max_counters
NO_OVERFLOW_SIMPLE 0 dev->caps.num_comp_vectors
NO_OVERFLOW_SIMPLE 0 dev->caps.num_ports
NO_OVERFLOW_SIMPLE 0 dev->caps.sqp_demux
NO_OVERFLOW_SIMPLE 0 dev->num_slaves
NO_OVERFLOW_SIMPLE 0 dev->persist->num_vfs
NO_OVERFLOW_SIMPLE 0 dev->persist->pdev->dev.cma_area->available_count
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &priv->cmd.slave_cmd_mutex
TYPE_LOCK (struct mlx4_cmd)->slave_cmd_mutex

drivers/net/ethernet/mellanox/mlx4/port.c mlx4_common_set_port() -> mlx4_get_slave_num_gids()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->persist 4096-ptr_max
PARAM_VALUE 0 dev->persist->catas_wq->flush_color s32min-s32max
PARAM_VALUE 0 dev->persist->catas_wq->work_color s32min-s32max
PARAM_VALUE 0 dev->persist->pdev->dev.cma_area->available_count 0-s64max
PARAM_VALUE 0 dev->persist->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->persist->pdev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->persist->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 dev->persist->pdev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dev->persist->pdev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dev->persist->pdev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 *dev->caps.ib_port_def_cap 0-4294967295
PARAM_VALUE 0 *dev->caps.port_mask 0-4294967295
PARAM_VALUE 0 *dev->caps.port_type 0-4294967295
PARAM_VALUE 0 *dev->caps.possible_type 0-4294967295
PARAM_VALUE 0 *dev->phys_caps.gid_phys_table_len 0-4294967295
PARAM_VALUE 0 *dev->phys_caps.pkey_phys_table_len 0-4294967295
PARAM_VALUE 2 port 0-255
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 slave $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 port 1-255[c]
USER_DATA 2 port 1-255[c]
NO_OVERFLOW_SIMPLE 0 dev->caps.cqe_size
NO_OVERFLOW_SIMPLE 0 dev->caps.max_counters
NO_OVERFLOW_SIMPLE 0 dev->caps.num_comp_vectors
NO_OVERFLOW_SIMPLE 0 dev->caps.num_ports
NO_OVERFLOW_SIMPLE 0 dev->caps.sqp_demux
NO_OVERFLOW_SIMPLE 0 dev->num_slaves
NO_OVERFLOW_SIMPLE 0 dev->persist->num_vfs
NO_OVERFLOW_SIMPLE 0 dev->persist->pdev->dev.cma_area->available_count
UNITS 1 slave unit_array_size
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &priv->cmd.slave_cmd_mutex
TYPE_LOCK (struct mlx4_cmd)->slave_cmd_mutex

drivers/net/ethernet/mellanox/mlx4/port.c mlx4_reset_roce_port_gids() -> mlx4_get_slave_num_gids()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->caps.num_ports 1-s32max
PARAM_VALUE 0 dev->caps.port_type 4096-ptr_max
PARAM_VALUE 0 dev->persist 4096-ptr_max
PARAM_VALUE 0 dev->persist->catas_wq->flush_color s32min-s32max
PARAM_VALUE 0 dev->persist->catas_wq->work_color s32min-s32max
PARAM_VALUE 0 dev->persist->num_vfs 0-s32max
PARAM_VALUE 1 slave 0-s32max
CAPPED_DATA 0 dev->caps.num_ports 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
RX_PATH
TASK_NOT_RUNNING
UNITS 1 slave unit_array_size

drivers/net/ethernet/mellanox/mlx4/main.c mlx4_parav_master_pf_caps() -> mlx4_get_slave_num_gids()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->caps.alloc_res_qp_mask 0,64,192
PARAM_VALUE 0 dev->caps.dmfs_high_rate_qpn_range 1-16777215
PARAM_VALUE 0 dev->caps.dmfs_high_steer_mode 0,2-4
PARAM_VALUE 0 dev->caps.flags2 0-2199090364415
PARAM_VALUE 0 dev->caps.fs_log_max_ucast_qp_range_size 0-31
PARAM_VALUE 0 dev->caps.local_ca_ack_delay 0-31
PARAM_VALUE 0 dev->caps.log_num_vlans 0-7
PARAM_VALUE 0 dev->caps.max_rq_desc_sz 0-u16max
PARAM_VALUE 0 dev->caps.max_rq_sg 0-255
PARAM_VALUE 0 dev->caps.max_sq_desc_sz 0-u16max
PARAM_VALUE 0 dev->caps.max_sq_sg 0-255
PARAM_VALUE 0 dev->caps.max_srq_sge (-1)-254
PARAM_VALUE 0 dev->caps.mtt_entry_sz 0-u16max
PARAM_VALUE 0 dev->caps.num_ports 1-2
PARAM_VALUE 0 dev->caps.num_sys_eqs 0-4095
PARAM_VALUE 0 dev->caps.num_uars (-524288)-524287
PARAM_VALUE 0 dev->caps.port_type 4096-ptr_max
PARAM_VALUE 0 dev->caps.reserved_pds 0-15
PARAM_VALUE 0 dev->caps.reserved_uars 0-128
PARAM_VALUE 0 dev->caps.reserved_xrcds 0-15
PARAM_VALUE 0 dev->caps.rl_caps.max_unit 0-3
PARAM_VALUE 0 dev->caps.rl_caps.max_val 0-4095
PARAM_VALUE 0 dev->caps.rl_caps.min_unit 0-3
PARAM_VALUE 0 dev->caps.rl_caps.min_val 0-4095
PARAM_VALUE 0 dev->caps.sqp_demux 0,128
PARAM_VALUE 0 dev->caps.steering_mode 0-2
PARAM_VALUE 0 dev->caps.tunnel_offload_mode 0-1
PARAM_VALUE 0 dev->caps.uar_page_size 4096
PARAM_VALUE 0 dev->oper_log_mgm_entry_size (-1),1-s32max
PARAM_VALUE 0 dev->persist 4096-ptr_max
PARAM_VALUE 0 dev->persist->device_state_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->persist->device_state_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->persist->device_state_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->persist->device_state_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->persist->device_state_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->phys_caps.num_phys_eqs 0-4095
PARAM_VALUE 0 dev->uar_page_shift 12
PARAM_VALUE 0 *dev->caps.default_sense 0-255
PARAM_VALUE 0 *dev->caps.eth_mtu_cap s32min-s32max
PARAM_VALUE 0 *dev->caps.gid_table_len s32min-s32max
PARAM_VALUE 0 *dev->caps.ib_mtu_cap s32min-s32max
PARAM_VALUE 0 *dev->caps.pkey_table_len s32min-s32max
PARAM_VALUE 0 *dev->caps.port_type 0-4294967295
PARAM_VALUE 0 *dev->caps.port_width_cap 0-255
PARAM_VALUE 0 *dev->caps.possible_type 0-4294967295
PARAM_VALUE 0 *dev->caps.suggested_type 0-255
PARAM_VALUE 0 *dev->caps.supported_type 0-255
PARAM_VALUE 0 *dev->caps.trans_type s32min-s32max
PARAM_VALUE 0 *dev->caps.vendor_oui s32min-s32max
PARAM_VALUE 0 *dev->caps.vl_cap s32min-s32max
PARAM_VALUE 0 *dev->caps.wavelength s32min-s32max
PARAM_VALUE 0 *dev->phys_caps.gid_phys_table_len 0-4294967295
PARAM_VALUE 0 *dev->phys_caps.pkey_phys_table_len 0-4294967295
PARAM_VALUE 1 slave 0
PARAM_VALUE 2 port 1-2
CAPPED_DATA 2 port 1
DATA_SOURCE 0 dev $0
FUZZY_MAX 0 dev->caps.dmfs_high_steer_mode 2
PARAM_COMPARE 0 dev->caps.num_ports >= $2
PARAM_COMPARE 2 port <= $0->caps.num_ports
UNITS 2 port unit_array_size

drivers/net/ethernet/mellanox/mlx4/fw.c mlx4_QUERY_PORT_wrapper() -> mlx4_get_slave_num_gids()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->caps.port_type 4096-ptr_max
PARAM_VALUE 0 dev->persist 4096-ptr_max
PARAM_VALUE 0 dev->persist->device_state_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 dev->persist->device_state_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->persist->device_state_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->persist->device_state_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->persist->device_state_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->persist->device_state_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->persist->device_state_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->persist->pdev 4096-ptr_max
PARAM_VALUE 0 dev->persist->pdev->dev.cma_area->available_count 0-s64max
PARAM_VALUE 0 dev->persist->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->persist->pdev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 *dev->caps.ib_port_def_cap 0-4294967295
PARAM_VALUE 0 *dev->caps.port_mask 0-4294967295
PARAM_VALUE 0 *dev->caps.port_type 0-4294967295
PARAM_VALUE 0 *dev->caps.possible_type 0-4294967295
PARAM_VALUE 0 *dev->phys_caps.gid_phys_table_len 0-4294967295
PARAM_VALUE 0 *dev->phys_caps.pkey_phys_table_len 0-4294967295
PARAM_VALUE 2 port 1-s32max
CAPPED_DATA 0 dev->persist->pdev->dev.cma_area->nranges 1
CAPPED_DATA 2 port 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 slave $1
DATA_SOURCE 2 port r mlx4_slave_convert_port
PARAM_COMPARE 0 dev->caps.function != $1
PARAM_COMPARE 1 slave != $0->caps.function
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dev->caps.cqe_size
NO_OVERFLOW_SIMPLE 0 dev->caps.max_counters
NO_OVERFLOW_SIMPLE 0 dev->caps.num_comp_vectors
NO_OVERFLOW_SIMPLE 0 dev->caps.num_ports
NO_OVERFLOW_SIMPLE 0 dev->caps.sqp_demux
NO_OVERFLOW_SIMPLE 0 dev->num_slaves
NO_OVERFLOW_SIMPLE 0 dev->persist->num_vfs
NO_OVERFLOW_SIMPLE 0 dev->persist->pdev->dev.cma_area->available_count
UNITS 1 slave unit_array_size
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &priv->cmd.slave_cmd_mutex
TYPE_LOCK (struct mlx4_cmd)->slave_cmd_mutex