Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 mvdev 4096-ptr_max
PARAM_VALUE 0 mvdev->migrate_cap 1
PARAM_VALUE 0 mvdev->resuming_migf 0
PARAM_VALUE 0 mvdev->saving_migf 0
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 0 *mvdev->resuming_migf->buf 0
PARAM_VALUE 0 *mvdev->resuming_migf->buf_header 0
PARAM_VALUE 0 *mvdev->resuming_migf->filp->f_cred->user->uidhash_node.next->pprev 1-u64max
PARAM_VALUE 0 *mvdev->saving_migf->buf 0
PARAM_VALUE 0 *mvdev->saving_migf->filp->f_cred->user->uidhash_node.next->pprev 1-u64max
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

drivers/vfio/pci/mlx5/cmd.c mlx5vf_stop_page_tracker() -> _mlx5vf_free_page_tracker_resources()

Type Parameter Key Value
PARAM_VALUE 0 mvdev 4096-ptr_max
PARAM_VALUE 0 mvdev->log_active 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
CAPPED_DATA 0 &mvdev->state_mutex 1
NOCHECK_CALL
LOCK2 0 &mvdev->state_mutex
TYPE_LOCK (struct mlx5vf_pci_core_device)->state_mutex