Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 migf 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mvdev->state_mutex
TYPE_LOCK (struct mlx5vf_pci_core_device)->state_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 migf 4096-ptr_max
PARAM_VALUE 0 migf->async_ctx.dev->cmd.vars.throttle_sem.first_waiter->up 0-1
PARAM_VALUE 0 migf->async_ctx.dev->cmd.vars.unprivileged_sem.first_waiter->up 0-1
PARAM_VALUE 0 migf->async_ctx.inflight_done.done 0-4294967293,u32max
PARAM_VALUE 0 migf->async_ctx.inflight_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 migf->async_ctx.inflight_done.wait.lock.owner (-1)
PARAM_VALUE 0 migf->async_ctx.inflight_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 migf->async_ctx.inflight_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 migf->async_ctx.inflight_done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 migf->async_data.work.lockdep_map->name 0-255
PARAM_VALUE 0 migf->mvdev->mdev->cmd.vars.throttle_sem.first_waiter->up 0-1
PARAM_VALUE 0 migf->mvdev->mdev->cmd.vars.unprivileged_sem.first_waiter->up 0-1
PARAM_VALUE 0 migf->mvdev->mdev_detach 0-1
CAPPED_DATA 0 &migf->async_data.work 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mvdev->state_mutex
TYPE_LOCK (struct mlx5vf_pci_core_device)->state_mutex

drivers/vfio/pci/mlx5/main.c mlx5vf_release_file() -> mlx5vf_disable_fd()

Type Parameter Key Value
BUF_SIZE 0 migf (-1),26
BUF_SIZE 0 migf (-1),26
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL