Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/vfio/pci/mlx5/main.c mlx5vf_precopy_ioctl() -> vfio_check_precopy_ioctl()

Type Parameter Key Value
PARAM_VALUE 3 info 485403999615356928
PARAM_VALUE 3 info->argsz 0
PARAM_VALUE 3 info->flags 0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 arg $2
USER_DATA 1 cmd 0-u32max
USER_DATA 2 arg 0-u64max

drivers/vfio/pci/qat/main.c qat_vf_precopy_ioctl() -> vfio_check_precopy_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 3 info 8909734138498453504
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 arg $2
USER_DATA 1 cmd 0-u32max
USER_DATA 2 arg 0-u64max

drivers/vfio/pci/hisilicon/hisi_acc_vfio_pci.c hisi_acc_vf_precopy_ioctl() -> vfio_check_precopy_ioctl()

Type Parameter Key Value
PARAM_VALUE 3 info 9088345448675246080
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 arg $2
USER_DATA 1 cmd 0-u32max
USER_DATA 2 arg 0-u64max

samples/vfio-mdev/mtty.c mtty_precopy_ioctl() -> vfio_check_precopy_ioctl()

Type Parameter Key Value
PARAM_VALUE 3 info 6195564297606983680
PARAM_VALUE 3 info->argsz 0
PARAM_VALUE 3 info->flags 0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 arg $2
USER_DATA 1 cmd 0-u32max
USER_DATA 2 arg 0-u64max

drivers/vfio/pci/virtio/migrate.c virtiovf_precopy_ioctl() -> vfio_check_precopy_ioctl()

Type Parameter Key Value
PARAM_VALUE 3 info 4152354943748001792
PARAM_VALUE 3 info->argsz 0
PARAM_VALUE 3 info->flags 0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 arg $2
USER_DATA 1 cmd 0-u32max
USER_DATA 2 arg 0-u64max