Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vfio/pci/virtio/migrate.c virtiovf_disable_fds() -> virtiovf_disable_fd()

Type Parameter Key Value
PARAM_VALUE 0 migf 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &device->dev_set->lock
HALF_LOCKED2 &virtvdev->state_mutex

drivers/vfio/pci/virtio/migrate.c virtiovf_disable_fds() -> virtiovf_disable_fd()

Type Parameter Key Value
PARAM_VALUE 0 migf 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &device->dev_set->lock
HALF_LOCKED2 &virtvdev->state_mutex

drivers/vfio/pci/virtio/migrate.c virtiovf_release_file() -> virtiovf_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