mlx5_mdev_netdev_untrack identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/infiniband/hw/mlx5/main.c, line 3815 (as a function)

Referenced in 1 files:

drivers/infiniband/hw/mlx5/main.c

Smatch caller information:

drivers/infiniband/hw/mlx5/main.c mlx5_ib_roce_cleanup() -> mlx5_mdev_netdev_untrack()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->lag_active	0
PARAM_VALUE	0	dev->mdev	4096-ptr_max
PARAM_VALUE	0	dev->mdev->caps.hca	4096-ptr_max
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->dma_io_tlb_mem->dyn_alloc.flags	0-4294967295
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->dma_io_tlb_mem->dyn_alloc.is_hard	0-1
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->dma_io_tlb_mem->dyn_alloc.is_lazy	0-1
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->dma_io_tlb_mem->dyn_alloc.is_queued	0-1
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->dma_io_tlb_mem->dyn_alloc.is_soft	0-1
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->iommu->attach_deferred	0-1
PARAM_VALUE	0	dev->mdev->cmd.token	1-255
PARAM_VALUE	0	dev->mdev->cmd.token_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->mdev->cmd.vars.throttle_sem.first_waiter->list.next	5349227543279349760
PARAM_VALUE	0	dev->mdev->cmd.vars.throttle_sem.first_waiter->list.prev	5349227543279349760
PARAM_VALUE	0	dev->mdev->cmd.vars.throttle_sem.first_waiter->list.prev->next	5349227543279349760
PARAM_VALUE	0	dev->mdev->cmd.vars.throttle_sem.first_waiter->up	0-1
PARAM_VALUE	0	dev->mdev->cmd.vars.throttle_sem.lock.dep_map->name	0-255
PARAM_VALUE	0	dev->mdev->cmd.vars.unprivileged_sem.first_waiter->list.next	5349227543279349760
PARAM_VALUE	0	dev->mdev->cmd.vars.unprivileged_sem.first_waiter->list.prev	5349227543279349760
PARAM_VALUE	0	dev->mdev->cmd.vars.unprivileged_sem.first_waiter->list.prev->next	5349227543279349760
PARAM_VALUE	0	dev->mdev->cmd.vars.unprivileged_sem.first_waiter->up	0-1
PARAM_VALUE	0	dev->mdev->cmd.vars.unprivileged_sem.lock.dep_map->name	0-255
PARAM_VALUE	0	dev->mdev->priv.eq_table->ctrl_irq	0-s64max
PARAM_VALUE	0	dev->mdev->priv.lag->lock.dep_map->name	0-255
PARAM_VALUE	0	dev->mdev->priv.lag->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->mdev->priv.lag->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->mdev->priv.lag->lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->mdev->priv.lag->lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->mdev->priv.lag->lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->mdev->priv.lag->lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->mdev->priv.lag->lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->mdev->priv.lag->lock.osq.tail.counter	0-s32max
PARAM_VALUE	1	port_num	0-254,u32max
CAPPED_DATA	0	dev->mdev	1
DATA_SOURCE	0	dev	$0
BIT_INFO	1	port_num	0x0,0xff
NOCHECK_CALL

drivers/infiniband/hw/mlx5/main.c mlx5_ib_roce_init() -> mlx5_mdev_netdev_untrack()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->ib_dev.ops.add_gid	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.add_sub_dev	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.advise_mr	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.alloc_dm	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.alloc_dmah	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.alloc_hw_device_stats	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.alloc_hw_port_stats	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.alloc_mr	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.alloc_mr_integrity	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.alloc_mw	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.alloc_pd	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.alloc_rdma_netdev	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.alloc_ucontext	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.alloc_xrcd	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.attach_mcast	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.check_mr_status	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.counter_alloc_stats	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.counter_bind_qp	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.counter_dealloc	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.counter_init	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.counter_unbind_qp	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.counter_update_stats	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.create_ah	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.create_comp_cntr	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.create_counters	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.create_cq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.create_flow	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.create_qp	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.create_rwq_ind_table	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.create_srq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.create_user_ah	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.create_user_cq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.create_wq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.dealloc_dm	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.dealloc_dmah	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.dealloc_driver	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.dealloc_mw	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.dealloc_pd	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.dealloc_ucontext	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.dealloc_xrcd	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.del_gid	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.del_sub_dev	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.dereg_mr	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.destroy_ah	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.destroy_comp_cntr	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.destroy_counters	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.destroy_cq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.destroy_flow	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.destroy_flow_action	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.destroy_qp	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.destroy_rwq_ind_table	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.destroy_srq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.destroy_wq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.detach_mcast	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.device_group	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.disassociate_ucontext	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.drain_rq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.drain_sq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.driver_id	1-u32max
PARAM_VALUE	0	dev->ib_dev.ops.enable_driver	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.fill_res_cm_id_entry	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.fill_res_cq_entry	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.fill_res_cq_entry_raw	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.fill_res_mr_entry	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.fill_res_mr_entry_raw	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.fill_res_qp_entry	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.fill_res_qp_entry_raw	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.fill_res_srq_entry	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.fill_res_srq_entry_raw	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.fill_stat_mr_entry	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.get_dev_fw_str	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.get_dma_mr	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.get_hw_stats	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.get_link_layer	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.get_netdev	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.get_numa_node	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.get_port_immutable	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.get_vf_config	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.get_vf_guid	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.get_vf_stats	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.iw_accept	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.iw_add_ref	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.iw_connect	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.iw_create_listen	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.iw_destroy_listen	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.iw_get_qp	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.iw_reject	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.iw_rem_ref	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.map_mr_sg	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.map_mr_sg_pi	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.mmap	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.mmap_free	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.mmap_get_pfns	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.modify_ah	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.modify_comp_cntr	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.modify_cq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.modify_device	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.modify_hw_stat	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.modify_port	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.modify_qp	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.modify_srq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.modify_wq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.owner	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.peek_cq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.pgoff_to_mmap_entry	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.poll_cq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.port_groups	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.post_destroy_cq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.post_recv	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.post_send	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.post_srq_recv	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.pre_destroy_cq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.process_mad	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.qp_attach_comp_cntr	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.query_ah	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.query_comp_cntr_caps	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.query_device	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.query_gid	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.query_pkey	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.query_port	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.query_port_speed	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.query_qp	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.query_srq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.query_ucontext	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.rdma_netdev_get_params	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.read_comp_cntr	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.read_counters	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.reg_dm_mr	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.reg_user_mr	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.reg_user_mr_dmabuf	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.report_port_event	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.req_notify_cq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.rereg_user_mr	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.resize_user_cq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.set_vf_guid	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.set_vf_link_state	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.size_ib_ah	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.size_ib_comp_cntr	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.size_ib_counters	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.size_ib_cq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.size_ib_dmah	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.size_ib_mw	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.size_ib_pd	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.size_ib_qp	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.size_ib_rwq_ind_table	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.size_ib_srq	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.size_ib_ucontext	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.size_ib_xrcd	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.size_rdma_counter	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.ufile_hw_cleanup	1-u64max
PARAM_VALUE	0	dev->ib_dev.ops.uverbs_abi_ver	1-u32max
PARAM_VALUE	0	dev->mdev	4096-ptr_max
PARAM_VALUE	0	dev->mdev->caps.hca	4096-ptr_max
PARAM_VALUE	0	dev->mdev->cmd.vars.throttle_sem.first_waiter->up	0-1
PARAM_VALUE	0	dev->mdev->cmd.vars.unprivileged_sem.first_waiter->up	0-1
PARAM_VALUE	0	dev->mdev->mlx5e_res.uplink_netdev_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->mdev->mlx5e_res.uplink_netdev_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->mdev->mlx5e_res.uplink_netdev_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->mdev->mlx5e_res.uplink_netdev_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->mdev->mlx5e_res.uplink_netdev_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->mdev->priv.eq_table->ctrl_irq	0-s64max
PARAM_VALUE	0	dev->mdev->priv.events	4096-ptr_max
PARAM_VALUE	0	dev->mdev->priv.events->sw_nh.head->priority	s32min-s32max
PARAM_VALUE	0	dev->mdev->priv.events->sw_nh.head.priority	s32min-s32max
PARAM_VALUE	1	port_num	0-254,u32max
CAPPED_DATA	0	dev->mdev	1
DATA_SOURCE	0	dev	$0
BIT_INFO	1	port_num	0x0,0xff
NOCHECK_CALL

drivers/infiniband/hw/mlx5/main.c mlx5_ib_unbind_slave_port() -> mlx5_mdev_netdev_untrack()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->ddr.mkey_ro_valid	1
PARAM_VALUE	0	dev->ddr.pdn	0-16777215
PARAM_VALUE	0	dev->devr.xrcdn0	0-16777215
PARAM_VALUE	0	dev->devr.xrcdn1	0-16777215
PARAM_VALUE	0	dev->lb.force_enable	0
PARAM_VALUE	0	dev->mdev	4096-ptr_max
PARAM_VALUE	0	dev->mdev->cmd.alloc_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->mdev->cmd.pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->mdev->cmd.pool->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->mdev->cmd.token	1-255
PARAM_VALUE	0	dev->mdev->cmd.token_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->mdev->cmd.vars.throttle_sem.first_waiter->list.next	5349227543279349760
PARAM_VALUE	0	dev->mdev->cmd.vars.throttle_sem.first_waiter->list.prev	5349227543279349760
PARAM_VALUE	0	dev->mdev->cmd.vars.throttle_sem.first_waiter->list.prev->next	5349227543279349760
PARAM_VALUE	0	dev->mdev->cmd.vars.throttle_sem.first_waiter->up	0-1
PARAM_VALUE	0	dev->mdev->cmd.vars.throttle_sem.lock.dep_map->name	0-255
PARAM_VALUE	0	dev->mdev->cmd.vars.throttle_sem.lock.owner	(-1)
PARAM_VALUE	0	dev->mdev->cmd.vars.throttle_sem.lock.owner_cpu	u32max
PARAM_VALUE	0	dev->mdev->cmd.vars.throttle_sem.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	dev->mdev->cmd.vars.unprivileged_sem.first_waiter->list.next	5349227543279349760
PARAM_VALUE	0	dev->mdev->cmd.vars.unprivileged_sem.first_waiter->list.prev	5349227543279349760
PARAM_VALUE	0	dev->mdev->cmd.vars.unprivileged_sem.first_waiter->list.prev->next	5349227543279349760
PARAM_VALUE	0	dev->mdev->cmd.vars.unprivileged_sem.first_waiter->up	0-1
PARAM_VALUE	0	dev->mdev->cmd.vars.unprivileged_sem.lock.dep_map->name	0-255
PARAM_VALUE	0	dev->mdev->cmd.vars.unprivileged_sem.lock.owner	(-1)
PARAM_VALUE	0	dev->mdev->cmd.vars.unprivileged_sem.lock.owner_cpu	u32max
PARAM_VALUE	0	dev->mdev->cmd.vars.unprivileged_sem.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	dev->mdev->pdev->bus->self->link_bwctrl->cdev	(-22),(-19),(-12),0,4096-s64max
PARAM_VALUE	0	dev->mdev->priv.events	4096-ptr_max
PARAM_VALUE	0	dev->mdev->priv.events->sw_nh.head->priority	s32min-s32max
PARAM_VALUE	0	dev->odp_pf_eq.core	0,4096-18446744073709551494,(-120)-(-7),(-5)-(-1)
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->umrc.state	1-3
PARAM_VALUE	1	port_num	0-254,u32max
CAPPED_DATA	0	dev	1
DATA_SOURCE	0	dev	$0
BIT_INFO	1	port_num	0x0,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &mlx5_ib_multiport_mutex
HALF_LOCKED2		&dev->mutex