register_one_pkey_tree identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/infiniband/hw/mlx4/sysfs.c, line 701 (as a function)

Referenced in 1 files:

drivers/infiniband/hw/mlx4/sysfs.c, line 773

Smatch caller information:

drivers/infiniband/hw/mlx4/sysfs.c register_pkey_tree() -> register_one_pkey_tree()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->bond_next_port	0
PARAM_VALUE	0	dev->cap_mask_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->cap_mask_mutex.first_waiter	0
PARAM_VALUE	0	dev->cap_mask_mutex.magic	4096-ptr_max
PARAM_VALUE	0	dev->cap_mask_mutex.osq.tail.counter	0
PARAM_VALUE	0	dev->cap_mask_mutex.owner.counter	0
PARAM_VALUE	0	dev->counters_table	4096-ptr_max
PARAM_VALUE	0	dev->dev	4096-ptr_max
PARAM_VALUE	0	dev->dev->caps.def_mac	4096-ptr_max
PARAM_VALUE	0	dev->dev->caps.num_ports	1-2147483646
PARAM_VALUE	0	dev->dev->persist	4096-ptr_max
PARAM_VALUE	0	dev->dev->persist->device_state_mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	dev->dev->persist->device_state_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->dev->persist->num_vfs	0-s32max
PARAM_VALUE	0	dev->eq_table	0,16,4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.attrs.atomic_cap	0
PARAM_VALUE	0	dev->ib_dev.attrs.device_cap_flags	0
PARAM_VALUE	0	dev->ib_dev.attrs.fw_ver	0
PARAM_VALUE	0	dev->ib_dev.attrs.hca_core_clock	0
PARAM_VALUE	0	dev->ib_dev.attrs.hw_ver	0
PARAM_VALUE	0	dev->ib_dev.attrs.kernel_cap_flags	0
PARAM_VALUE	0	dev->ib_dev.attrs.local_ca_ack_delay	0
PARAM_VALUE	0	dev->ib_dev.attrs.masked_atomic_cap	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_ah	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_cq	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_cqe	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_dm_size	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_ee	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_ee_rd_atom	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_mcast_grp	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_mr	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_mr_size	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_mw	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_pd	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_pkeys	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_qp	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_qp_rd_atom	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_qp_wr	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_raw_ethy_qp	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_raw_ipv6_qp	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_rdd	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_recv_sge	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_res_rd_atom	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_send_sge	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_sge_rd	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_sgl_rd	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_srq	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_srq_sge	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_srq_wr	0
PARAM_VALUE	0	dev->ib_dev.attrs.max_wq_type_rq	0
PARAM_VALUE	0	dev->ib_dev.attrs.page_size_cap	0
PARAM_VALUE	0	dev->ib_dev.attrs.raw_packet_caps	0
PARAM_VALUE	0	dev->ib_dev.attrs.sig_guard_cap	0
PARAM_VALUE	0	dev->ib_dev.attrs.sig_prot_cap	0
PARAM_VALUE	0	dev->ib_dev.attrs.sys_image_guid	0
PARAM_VALUE	0	dev->ib_dev.attrs.timestamp_mask	0
PARAM_VALUE	0	dev->ib_dev.attrs.tm_caps.flags	0
PARAM_VALUE	0	dev->ib_dev.attrs.tm_caps.max_ops	0
PARAM_VALUE	0	dev->ib_dev.attrs.tm_caps.max_sge	0
PARAM_VALUE	0	dev->ib_dev.attrs.vendor_id	0
PARAM_VALUE	0	dev->ib_dev.attrs.vendor_part_id	0
PARAM_VALUE	0	dev->ib_dev.cache_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->ib_dev.cc_dma_bounce	1
PARAM_VALUE	0	dev->ib_dev.cg_device.dev_node.next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.cg_device.dev_node.next->next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.cg_device.dev_node.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.cg_device.dev_node.prev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.cg_device.dev_node.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.cg_device.dev_node.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.cg_device.rpools.next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.cg_device.rpools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.cg_device.rpools.prev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.cg_device.rpools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.cg_device.rpools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.client_data_rwsem.dep_map->name	0-255
PARAM_VALUE	0	dev->ib_dev.client_data_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	dev->ib_dev.client_data_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	dev->ib_dev.client_data_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	dev->ib_dev.client_data_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	dev->ib_dev.client_data_rwsem.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->ib_dev.compat_devs_mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	dev->ib_dev.compat_devs_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->ib_dev.coredev.port_list.prev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.coredev.port_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.coredev.port_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.coredev.ports_kobj	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.coredev.ports_kobj->entry.next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.coredev.ports_kobj->entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.coredev.ports_kobj->entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.coredev.ports_kobj->entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.coredev.ports_kobj->entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.coredev.ports_kobj->kref.refcount.refs.counter	1
PARAM_VALUE	0	dev->ib_dev.coredev.ports_kobj->kset	0,4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.coredev.ports_kobj->kset->list.prev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.coredev.ports_kobj->kset->list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.coredev.ports_kobj->kset->list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.coredev.ports_kobj->ktype	1915817945436012544
PARAM_VALUE	0	dev->ib_dev.coredev.ports_kobj->sd	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.coredev.ports_kobj->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->ib_dev.coredev.ports_kobj->state_in_sysfs	1
PARAM_VALUE	0	dev->ib_dev.coredev.ports_kobj->state_initialized	1
PARAM_VALUE	0	dev->ib_dev.dev->kobj.release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.driver	0
PARAM_VALUE	0	dev->ib_dev.dev.driver_data	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.fwnode->dev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.fwnode->dev->fwnode	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.fwnode->dev->p	1-u64max
PARAM_VALUE	0	dev->ib_dev.dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->ib_dev.dev.fwnode->suppliers.next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.fwnode->suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.fwnode->suppliers.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.init_name	0
PARAM_VALUE	0	dev->ib_dev.dev.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	dev->ib_dev.dev.kobj->kset->kobj.release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.kobj->name	0-255
PARAM_VALUE	0	dev->ib_dev.dev.kobj.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.kobj.parent->release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.kobj.parent->release.timer.is_hard	0-1
PARAM_VALUE	0	dev->ib_dev.dev.kobj.parent->release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->ib_dev.dev.kobj.parent->release.timer.is_queued	0-1
PARAM_VALUE	0	dev->ib_dev.dev.kobj.parent->release.timer.is_soft	0-1
PARAM_VALUE	0	dev->ib_dev.dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->ib_dev.dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->ib_dev.dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->ib_dev.dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->ib_dev.dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->ib_dev.dev.p	0,4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.p->dead	0-1
PARAM_VALUE	0	dev->ib_dev.dev.p->deferred_probe_reason	0-s64max
PARAM_VALUE	0	dev->ib_dev.dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->ib_dev.dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->ib_dev.dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->ib_dev.dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->ib_dev.dev.parent	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.parent->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.parent->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->ib_dev.dev.parent->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->ib_dev.dev.parent->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->ib_dev.dev.parent->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->ib_dev.dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	dev->ib_dev.dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	dev->ib_dev.dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	dev->ib_dev.dev.physical_location	0,4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.power.completion.done	u32max
PARAM_VALUE	0	dev->ib_dev.dev.power.entry.next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.power.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.power.entry.prev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.dev.power.in_dpm_list	1
PARAM_VALUE	0	dev->ib_dev.dev.power.irq_safe	0
PARAM_VALUE	0	dev->ib_dev.dev.power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	dev->ib_dev.dev.power.qos	0,(-19)
PARAM_VALUE	0	dev->ib_dev.dev.power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	dev->ib_dev.dev.power.runtime_status	2
PARAM_VALUE	0	dev->ib_dev.dev.power.timer_expires	0
PARAM_VALUE	0	dev->ib_dev.dev.power.usage_count.counter	0-s32max
PARAM_VALUE	0	dev->ib_dev.dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->ib_dev.dma_device	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.driver_def->needs_fn_offset	0,35,40,48,72,88,96,112,136,232,240,264,272,288,296,312,336,344
PARAM_VALUE	0	dev->ib_dev.hw_stats_attr_index	0-3
PARAM_VALUE	0	dev->ib_dev.hw_stats_data	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.hw_stats_data->group.name	8435556134180474880
PARAM_VALUE	0	dev->ib_dev.node_guid	0-255
PARAM_VALUE	0	dev->ib_dev.node_type	1
PARAM_VALUE	0	dev->ib_dev.phys_port_cnt	1-s32max
PARAM_VALUE	0	dev->ib_dev.port_data->cache.last_port_state	1,4
PARAM_VALUE	0	dev->ib_dev.port_data->cache.port_state	0-15
PARAM_VALUE	0	dev->ib_dev.port_data->immutable.pkey_tbl_len	0-u16max
PARAM_VALUE	0	dev->ib_dev.port_data->port_counter.mode.mode	0-2
PARAM_VALUE	0	dev->ib_dev.unreg_completion.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	dev->iboe.last_port_state	4096-ptr_max
PARAM_VALUE	0	dev->iboe.mac	4096-ptr_max
PARAM_VALUE	0	dev->iov_parent	4096-ptr_max
PARAM_VALUE	0	dev->iov_parent->entry.next	4096-ptr_max
PARAM_VALUE	0	dev->iov_parent->kset	0,4096-ptr_max
PARAM_VALUE	0	dev->iov_parent->kset->list.prev	4096-ptr_max
PARAM_VALUE	0	dev->iov_parent->kset->list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->iov_parent->kset->list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	dev->iov_parent->kset->list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->iov_parent->ktype	1915817945436012544
PARAM_VALUE	0	dev->iov_parent->name	4096-ptr_max
PARAM_VALUE	0	dev->iov_parent->parent	4096-ptr_max
PARAM_VALUE	0	dev->iov_parent->sd	4096-ptr_max
PARAM_VALUE	0	dev->iov_parent->sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->iov_parent->sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->iov_parent->state_in_sysfs	1
PARAM_VALUE	0	dev->iov_parent->state_initialized	1
PARAM_VALUE	0	dev->num_ports	1-s32max
PARAM_VALUE	0	dev->ports_parent	4096-ptr_max
PARAM_VALUE	0	dev->ports_parent->entry.next	4096-ptr_max
PARAM_VALUE	0	dev->ports_parent->kset	0,4096-ptr_max
PARAM_VALUE	0	dev->ports_parent->kset->list.prev	4096-ptr_max
PARAM_VALUE	0	dev->ports_parent->kset->list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->ports_parent->kset->list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	dev->ports_parent->kset->list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->ports_parent->ktype	1915817945436012544
PARAM_VALUE	0	dev->ports_parent->name	4096-ptr_max
PARAM_VALUE	0	dev->ports_parent->parent	4096-ptr_max
PARAM_VALUE	0	dev->ports_parent->sd	4096-ptr_max
PARAM_VALUE	0	dev->ports_parent->sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->ports_parent->sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->ports_parent->state_in_sysfs	1
PARAM_VALUE	0	dev->ports_parent->state_initialized	1
PARAM_VALUE	0	dev->priv_pdn	0-4294967294
PARAM_VALUE	0	dev->priv_uar.index	s32min-(-2),0-s32max
PARAM_VALUE	0	dev->priv_uar.map	0
PARAM_VALUE	0	dev->priv_uar.pfn	0-4503601774854142
PARAM_VALUE	0	dev->qp1_proxy_lock	4096-ptr_max
PARAM_VALUE	0	dev->qp_list.next	4096-ptr_max
PARAM_VALUE	0	dev->qp_list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->qp_list.prev	4096-ptr_max
PARAM_VALUE	0	dev->qp_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->qp_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->sriov.cm_list.next	4096-ptr_max
PARAM_VALUE	0	dev->sriov.cm_list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->sriov.cm_list.prev	4096-ptr_max
PARAM_VALUE	0	dev->sriov.cm_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->sriov.cm_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->sriov.is_going_down	0
PARAM_VALUE	0	dev->sriov.pv_id_table.xa_flags	33554436
PARAM_VALUE	0	dev->sriov.pv_id_table.xa_head	0
PARAM_VALUE	0	dev->sriov.xa_rej_tmout.xa_flags	0
PARAM_VALUE	0	dev->sriov.xa_rej_tmout.xa_head	0
PARAM_VALUE	0	dev->steer_qpn_count	256
PARAM_VALUE	0	dev->steering_support	2
PARAM_VALUE	0	dev->uar_map	4096-ptr_max
PARAM_VALUE	0	*dev->ib_dev.node_desc	0-255
PARAM_VALUE	1	slave	0-s32max
BUF_SIZE	0	dev->ib_dev.dev.parent	1616
BUF_SIZE	0	dev->ib_uc_qpns_bitmap	(-1),32
BUF_SIZE	0	dev->iov_parent	248
BUF_SIZE	0	dev->ports_parent	248
CAPPED_DATA	0	dev->dev->caps.num_ports	1
CAPPED_DATA	0	dev->dev->caps.sqp_demux	1
CAPPED_DATA	0	dev->ib_dev.coredev.rdma_net.net	1
CAPPED_DATA	0	dev->num_ports	1
CAPPED_DATA	1	slave	1
DATA_SOURCE	0	dev	$0
FUZZY_MAX	0	dev->ib_dev.phys_port_cnt	1
PARAM_COMPARE	0	dev->dev->persist->num_vfs	>= $1
PARAM_COMPARE	1	slave	<= $0->dev->persist->num_vfs
MEM_ZERO	0	&dev->ib_dev.attrs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	dev->ib_dev.hw_stats_attr_index
UNITS	1	slave	unit_array_size