Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/vhost.c vhost_worker_ioctl() -> vhost_new_worker()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->fork_owner 1
PARAM_VALUE 0 dev->mm 1
PARAM_VALUE 0 dev->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 dev->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 dev->use_worker 1
PARAM_VALUE 1 info 3882967172205187072
DATA_SOURCE 0 dev $0
LOCK2 &vs->dev.mutex
TYPE_LOCK (struct vhost_dev)->mutex