mlx5vf_disable_fds identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/vfio/pci/mlx5/cmd.h, line 244 (as a prototype)

Defined in 1 files as a function:

drivers/vfio/pci/mlx5/main.c, line 1068 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/vfio/pci/mlx5/main.c mlx5vf_pci_step_device_state_locked() -> mlx5vf_disable_fds()

Type	Parameter	Key	Value
PARAM_VALUE	0	mvdev	4096-ptr_max
PARAM_VALUE	0	mvdev->mdev->cmd.vars.throttle_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->mdev->cmd.vars.unprivileged_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->mdev_detach	0-1
PARAM_VALUE	0	mvdev->mig_state	3
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->cmd.vars.throttle_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->cmd.vars.unprivileged_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->saving_migf->mvdev->mdev->cmd.vars.throttle_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->saving_migf->mvdev->mdev->cmd.vars.unprivileged_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->saving_migf->mvdev->mdev_detach	0-1
PARAM_VALUE	0	mvdev->state_mutex.dep_map->name	0-255
PARAM_VALUE	0	mvdev->state_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	mvdev->state_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	mvdev->state_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	mvdev->state_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	mvdev->state_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	mvdev->state_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	mvdev->tracker.cq.buf.cqe_size	0,64,128
PARAM_VALUE	0	mvdev->tracker.pdn	0-16777215
PARAM_VALUE	0	mvdev->tracker.status	0-15
PARAM_VALUE	0	mvdev->tracker.uar	0,4096-18446744073709551494,(-120)-(-7),(-5)-(-1)
PARAM_VALUE	1	last_save_state	0
DATA_SOURCE	0	mvdev	$0
NOCHECK_CALL
LOCK2	0	&mvdev->state_mutex
TYPE_LOCK		(struct mlx5vf_pci_core_device)->state_mutex

drivers/vfio/pci/mlx5/main.c mlx5vf_pci_step_device_state_locked() -> mlx5vf_disable_fds()

Type	Parameter	Key	Value
PARAM_VALUE	0	mvdev	4096-ptr_max
PARAM_VALUE	0	mvdev->mdev->cmd.vars.throttle_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->mdev->cmd.vars.unprivileged_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->mdev_detach	0
PARAM_VALUE	0	mvdev->mig_state	6-7
PARAM_VALUE	0	mvdev->saving_migf	4096-ptr_max
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->cmd.alloc_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->cmd.pool->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->cmd.state	1
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->cmd.token	1-255
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->cmd.token_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->cmd.vars.throttle_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->cmd.vars.throttle_sem.lock.dep_map->name	0-255
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->cmd.vars.unprivileged_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->cmd.vars.unprivileged_sem.lock.dep_map->name	0-255
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->pdev->error_state	1
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->state	0-1,3-u32max
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.num_inflight.counter	0-s32max
PARAM_VALUE	0	mvdev->saving_migf->async_data.buf	4096-ptr_max
PARAM_VALUE	0	mvdev->saving_migf->async_data.header_buf	1-u64max
PARAM_VALUE	0	mvdev->saving_migf->async_data.out	16,4096-ptr_max
PARAM_VALUE	0	mvdev->saving_migf->filp	4096-ptr_max
PARAM_VALUE	0	mvdev->saving_migf->inflight_save	1
PARAM_VALUE	0	mvdev->saving_migf->list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	mvdev->saving_migf->mvdev	4096-ptr_max
PARAM_VALUE	0	mvdev->saving_migf->mvdev->mdev->cmd.vars.throttle_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->saving_migf->mvdev->mdev->cmd.vars.unprivileged_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->saving_migf->mvdev->mdev_detach	0
PARAM_VALUE	0	mvdev->saving_migf->save_comp.done	0-4294967293,u32max
PARAM_VALUE	0	mvdev->saving_migf->save_comp.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	mvdev->saving_migf->save_comp.wait.lock.owner	(-1)
PARAM_VALUE	0	mvdev->saving_migf->save_comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	mvdev->saving_migf->save_comp.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	mvdev->saving_migf->save_comp.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	mvdev->saving_migf->state	4
PARAM_VALUE	0	mvdev->state_mutex.dep_map->name	0-255
PARAM_VALUE	0	mvdev->state_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	mvdev->state_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	mvdev->state_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	mvdev->state_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	mvdev->state_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	mvdev->state_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	mvdev->tracker.cq.buf.cqe_size	0,64,128
PARAM_VALUE	0	mvdev->tracker.pdn	0-16777215
PARAM_VALUE	0	mvdev->tracker.status	0-15
PARAM_VALUE	0	mvdev->tracker.uar	0,4096-18446744073709551494,(-120)-(-7),(-5)-(-1)
PARAM_VALUE	0	*mvdev->saving_migf->buf_header	0
PARAM_VALUE	1	last_save_state	7160564897103872
DATA_SOURCE	0	mvdev	$0
NOCHECK_CALL
LOCK2	0	&mvdev->state_mutex
TYPE_LOCK		(struct mlx5vf_pci_core_device)->state_mutex

drivers/vfio/pci/mlx5/main.c mlx5vf_pci_step_device_state_locked() -> mlx5vf_disable_fds()

Type	Parameter	Key	Value
PARAM_VALUE	0	mvdev	4096-ptr_max
PARAM_VALUE	0	mvdev->mdev->cmd.vars.throttle_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->mdev->cmd.vars.unprivileged_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->mdev_detach	0-1
PARAM_VALUE	0	mvdev->mig_state	4
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->cmd.vars.throttle_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->cmd.vars.unprivileged_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->saving_migf->mvdev->mdev->cmd.vars.throttle_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->saving_migf->mvdev->mdev->cmd.vars.unprivileged_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->saving_migf->mvdev->mdev_detach	0-1
PARAM_VALUE	0	mvdev->state_mutex.dep_map->name	0-255
PARAM_VALUE	0	mvdev->state_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	mvdev->state_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	mvdev->state_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	mvdev->state_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	mvdev->state_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	mvdev->state_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	mvdev->tracker.cq.buf.cqe_size	0,64,128
PARAM_VALUE	0	mvdev->tracker.pdn	0-16777215
PARAM_VALUE	0	mvdev->tracker.status	0-15
PARAM_VALUE	0	mvdev->tracker.uar	0,4096-18446744073709551494,(-120)-(-7),(-5)-(-1)
PARAM_VALUE	1	last_save_state	0
DATA_SOURCE	0	mvdev	$0
NOCHECK_CALL
LOCK2	0	&mvdev->state_mutex
TYPE_LOCK		(struct mlx5vf_pci_core_device)->state_mutex

drivers/vfio/pci/mlx5/main.c mlx5vf_state_mutex_unlock() -> mlx5vf_disable_fds()

Type	Parameter	Key	Value
PARAM_VALUE	0	mvdev	4096-ptr_max
PARAM_VALUE	0	mvdev->chunk_mode	1
PARAM_VALUE	0	mvdev->deferred_reset	0
PARAM_VALUE	0	mvdev->log_active	0-1
PARAM_VALUE	0	mvdev->mdev->cmd.vars.throttle_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->mdev->cmd.vars.unprivileged_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->mdev->pdev->bus->self->link_bwctrl->cdev	(-22),(-19),(-12),0,4096-s64max
PARAM_VALUE	0	mvdev->mdev->priv.dbg.cq_debugfs->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	mvdev->mdev->priv.dbg.cq_debugfs->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	mvdev->mdev->priv.dbg.eq_debugfs->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	mvdev->mdev->priv.dbg.eq_debugfs->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	mvdev->mdev_detach	0-1
PARAM_VALUE	0	mvdev->mig_state	2
PARAM_VALUE	0	mvdev->mig_state_cap	1
PARAM_VALUE	0	mvdev->migrate_cap	1
PARAM_VALUE	0	mvdev->reset_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->cmd.vars.throttle_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->cmd.vars.unprivileged_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->saving_migf->async_ctx.dev->pdev->bus->self->link_bwctrl->cdev	(-22),(-19),(-12),0,4096-s64max
PARAM_VALUE	0	mvdev->saving_migf->mvdev->mdev->cmd.vars.throttle_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->saving_migf->mvdev->mdev->cmd.vars.unprivileged_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->saving_migf->mvdev->mdev_detach	0-1
PARAM_VALUE	0	mvdev->tracker.cq.buf.cqe_size	0,64,128
PARAM_VALUE	0	mvdev->tracker.is_err	0-1
PARAM_VALUE	0	mvdev->tracker.object_changed	0-1
PARAM_VALUE	0	mvdev->tracker.pdn	0-16777215
PARAM_VALUE	0	mvdev->tracker.status	0-15
PARAM_VALUE	0	mvdev->tracker.uar	0,4096-18446744073709551494,(-120)-(-7),(-5)-(-1)
PARAM_VALUE	0	mvdev->tracker.uar->mdev->cmd.vars.throttle_sem.first_waiter->up	0-1
PARAM_VALUE	0	mvdev->tracker.uar->mdev->cmd.vars.unprivileged_sem.first_waiter->up	0-1
PARAM_VALUE	1	last_save_state	0
DATA_SOURCE	0	mvdev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2	0	&mvdev->state_mutex
TYPE_LOCK		(struct mlx5vf_pci_core_device)->state_mutex

drivers/vfio/pci/mlx5/cmd.c mlx5vf_cmd_close_migratable() -> mlx5vf_disable_fds()

Type	Parameter	Key	Value
PARAM_VALUE	0	mvdev	4096-ptr_max
PARAM_VALUE	0	mvdev->migrate_cap	1
PARAM_VALUE	0	mvdev->state_mutex.dep_map->name	0-255
PARAM_VALUE	0	mvdev->state_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	mvdev->state_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	mvdev->state_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	mvdev->state_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	mvdev->state_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	mvdev->state_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	mvdev->tracker.is_err	1
PARAM_VALUE	0	mvdev->tracker_comp.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	mvdev->tracker_comp.wait.lock.owner	(-1)
PARAM_VALUE	0	mvdev->tracker_comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	1	last_save_state	0
CAPPED_DATA	0	&mvdev->state_mutex	1
DATA_SOURCE	0	mvdev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2	0	&mvdev->state_mutex
HALF_LOCKED2		&device->dev_set->lock
TYPE_LOCK		(struct mlx5vf_pci_core_device)->state_mutex