Open Menu /

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/alias_GUID.c mlx4_ib_init_alias_guid_service() -> (struct ib_device_ops)->query_gid()

Type Parameter Key Value
PARAM_VALUE 0 ibdev 4096-ptr_max
PARAM_VALUE 0 ibdev->attrs.atomic_cap 0
PARAM_VALUE 0 ibdev->attrs.device_cap_flags 0
PARAM_VALUE 0 ibdev->attrs.fw_ver 0
PARAM_VALUE 0 ibdev->attrs.hca_core_clock 0
PARAM_VALUE 0 ibdev->attrs.hw_ver 0
PARAM_VALUE 0 ibdev->attrs.kernel_cap_flags 0
PARAM_VALUE 0 ibdev->attrs.local_ca_ack_delay 0
PARAM_VALUE 0 ibdev->attrs.masked_atomic_cap 0
PARAM_VALUE 0 ibdev->attrs.max_ah 0
PARAM_VALUE 0 ibdev->attrs.max_cq 0
PARAM_VALUE 0 ibdev->attrs.max_cqe 0
PARAM_VALUE 0 ibdev->attrs.max_dm_size 0
PARAM_VALUE 0 ibdev->attrs.max_ee 0
PARAM_VALUE 0 ibdev->attrs.max_ee_init_rd_atom 0
PARAM_VALUE 0 ibdev->attrs.max_ee_rd_atom 0
PARAM_VALUE 0 ibdev->attrs.max_mcast_grp 0
PARAM_VALUE 0 ibdev->attrs.max_mcast_qp_attach 0
PARAM_VALUE 0 ibdev->attrs.max_mr 0
PARAM_VALUE 0 ibdev->attrs.max_mr_size 0
PARAM_VALUE 0 ibdev->attrs.max_mw 0
PARAM_VALUE 0 ibdev->attrs.max_pd 0
PARAM_VALUE 0 ibdev->attrs.max_pkeys 0
PARAM_VALUE 0 ibdev->attrs.max_qp 0
PARAM_VALUE 0 ibdev->attrs.max_qp_init_rd_atom 0
PARAM_VALUE 0 ibdev->attrs.max_qp_rd_atom 0
PARAM_VALUE 0 ibdev->attrs.max_qp_wr 0
PARAM_VALUE 0 ibdev->attrs.max_raw_ethy_qp 0
PARAM_VALUE 0 ibdev->attrs.max_raw_ipv6_qp 0
PARAM_VALUE 0 ibdev->attrs.max_rdd 0
PARAM_VALUE 0 ibdev->attrs.max_recv_sge 0
PARAM_VALUE 0 ibdev->attrs.max_res_rd_atom 0
PARAM_VALUE 0 ibdev->attrs.max_send_sge 0
PARAM_VALUE 0 ibdev->attrs.max_sge_rd 0
PARAM_VALUE 0 ibdev->attrs.max_sgl_rd 0
PARAM_VALUE 0 ibdev->attrs.max_srq 0
PARAM_VALUE 0 ibdev->attrs.max_srq_sge 0
PARAM_VALUE 0 ibdev->attrs.max_srq_wr 0
PARAM_VALUE 0 ibdev->attrs.max_wq_type_rq 0
PARAM_VALUE 0 ibdev->attrs.page_size_cap 0
PARAM_VALUE 0 ibdev->attrs.raw_packet_caps 0
PARAM_VALUE 0 ibdev->attrs.sig_guard_cap 0
PARAM_VALUE 0 ibdev->attrs.sig_prot_cap 0
PARAM_VALUE 0 ibdev->attrs.sys_image_guid 0
PARAM_VALUE 0 ibdev->attrs.timestamp_mask 0
PARAM_VALUE 0 ibdev->attrs.tm_caps.flags 0
PARAM_VALUE 0 ibdev->attrs.tm_caps.max_ops 0
PARAM_VALUE 0 ibdev->attrs.tm_caps.max_sge 0
PARAM_VALUE 0 ibdev->attrs.vendor_id 0
PARAM_VALUE 0 ibdev->attrs.vendor_part_id 0
PARAM_VALUE 0 ibdev->cc_dma_bounce 1
PARAM_VALUE 0 ibdev->cg_device.dev_node.next 4096-ptr_max
PARAM_VALUE 0 ibdev->cg_device.dev_node.prev 4096-ptr_max
PARAM_VALUE 0 ibdev->cg_device.rpools.next 4096-ptr_max
PARAM_VALUE 0 ibdev->cg_device.rpools.prev 4096-ptr_max
PARAM_VALUE 0 ibdev->client_data_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 ibdev->compat_devs_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 ibdev->coredev.port_list.prev 4096-ptr_max
PARAM_VALUE 0 ibdev->coredev.ports_kobj 4096-ptr_max
PARAM_VALUE 0 ibdev->dev.driver 0
PARAM_VALUE 0 ibdev->dev.parent 4096-ptr_max
PARAM_VALUE 0 ibdev->dev.power.completion.done u32max
PARAM_VALUE 0 ibdev->dev.power.irq_safe 0
PARAM_VALUE 0 ibdev->dev.power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 ibdev->dev.power.qos 0,(-19)
PARAM_VALUE 0 ibdev->dev.power.request_pending 0
PARAM_VALUE 0 ibdev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ibdev->dev.power.runtime_status 2
PARAM_VALUE 0 ibdev->dev.power.timer_expires 0
PARAM_VALUE 0 ibdev->dev.power.usage_count.counter 0-s32max
PARAM_VALUE 0 ibdev->dma_device 4096-ptr_max
PARAM_VALUE 0 ibdev->hw_stats_attr_index 0-3
PARAM_VALUE 0 ibdev->hw_stats_data 4096-ptr_max
PARAM_VALUE 0 ibdev->node_guid 0-255
PARAM_VALUE 0 ibdev->node_type 1
PARAM_VALUE 0 ibdev->phys_port_cnt 1-s32max
PARAM_VALUE 0 ibdev->unreg_completion.wait.lock.owner (-1)
PARAM_VALUE 0 ibdev->unreg_completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 ibdev->unreg_completion.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 port 1-s32max
PARAM_VALUE 2 index 0
PARAM_VALUE 3 gid 3197691312222834688
CAPPED_DATA 1 port 1
CONTAINER 0 -200-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ibdev->hw_stats_attr_index

drivers/infiniband/core/cache.c config_non_roce_gid_cache() -> (struct ib_device_ops)->query_gid()

Type Parameter Key Value
PARAM_VALUE 0 ibdev 4096-ptr_max
PARAM_VALUE 0 ibdev->ops.query_gid 1-u64max
PARAM_VALUE 0 ibdev->port_data 4096-ptr_max
PARAM_VALUE 0 ibdev->port_data->cache.last_port_state 1,4
PARAM_VALUE 0 ibdev->port_data->immutable.pkey_tbl_len 0-u16max
PARAM_VALUE 2 index 0-s32max
PARAM_VALUE 3 gid 3337931689725292560
BUF_SIZE 0 ibdev->dev.parent (-1),1616
BUF_SIZE 0 ibdev->driver_def (-1),32,112
CAPPED_DATA 1 port 1
CAPPED_DATA 2 index 1
DATA_SOURCE 0 ibdev $0
DATA_SOURCE 1 port $1
STR_LEN 0 ibdev (-1),6-9,11-12
STR_LEN 0 ibdev (-1),6-9,11-12
CONTAINER 0 -200-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ibdev->num_comp_vectors
LOCK2 &table->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ib_gid_table)->lock