Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/vhost/vdpa.c vhost_vdpa_unlocked_ioctl() -> vhost_dev_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 d->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 d->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 d->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 ioctl 0-44924,44927-1073852273,1073852275-1074048774,1074048776-1074048886,1074048888-1074310911,1074310913-1074310915,1074310917-1074310948,1074310950-1074311027,1074311029-2147594096,2147594098-2147659637,2147659639-u32max
DATA_SOURCE 1 ioctl $1
DATA_SOURCE 2 argp $2
USER_DATA 1 ioctl 0-44924,44927-1073852273,1073852275-1074048774,1074048776-10740
LOCK2 &d->mutex
TYPE_LOCK (struct vhost_dev)->mutex

drivers/vhost/net.c vhost_net_ioctl() -> vhost_dev_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 d->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 d->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 d->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 ioctl 0-44800,44803-1074310911,1074310913-1074310948,1074310950-1074310959,1074310961-1074311042,1074311044-2148052735,2148052737-2148052773,2148052775-2148052866,2148052868-u32max
DATA_SOURCE 1 ioctl $1
DATA_SOURCE 2 argp $2
USER_DATA 1 ioctl 0-44800,44803-1074310911,1074310913-1074310948,1074310950-10743
LOCK2 &n->dev.mutex
TYPE_LOCK (struct vhost_dev)->mutex

drivers/vhost/vsock.c vhost_vsock_dev_ioctl() -> vhost_dev_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 d->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 d->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 d->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 ioctl 0-44801,44803-1074048864,1074048866-1074310911,1074310913-1074310948,1074310950-1074311007,1074311009-2148052735,2148052737-2148052773,2148052775-u32max
DATA_SOURCE 1 ioctl $1
DATA_SOURCE 2 argp $2
USER_DATA 1 ioctl 0-44801,44803-1074048864,1074048866-1074310911,1074310913-10743
LOCK2 &vsock->dev.mutex
TYPE_LOCK (struct vhost_dev)->mutex

drivers/vhost/scsi.c vhost_scsi_ioctl() -> vhost_dev_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 d->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 d->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 ioctl 0-1074048776,1074048778-1074048833,1074048837-1074310911,1074310913-1074310932,1074310934-1088991039,1088991042-2147790599,2147790601-2148052735,2148052737-3221794581,3221794583-u32max
DATA_SOURCE 1 ioctl $1
DATA_SOURCE 2 argp $2
USER_DATA 1 ioctl 0-1074048776,1074048778-1074048833,1074048837-1074310911,107431
LOCK2 &vs->dev.mutex
TYPE_LOCK (struct vhost_dev)->mutex