Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/vhost.c vhost_dev_reset_owner_prepare() -> iotlb_alloc()

Type Parameter Key Value
HALF_LOCKED2 &n->dev.mutex
HALF_LOCKED2 &vsock->dev.mutex
TYPE_LOCK (struct vhost_dev)->mutex

drivers/vhost/vhost.c vhost_init_device_iotlb() -> iotlb_alloc()

Type Parameter Key Value
HALF_LOCKED2 &n->dev.mutex
HALF_LOCKED2 &vsock->dev.mutex
TYPE_LOCK (struct vhost_dev)->mutex

drivers/vhost/vhost.c vhost_set_memory() -> iotlb_alloc()

Type Parameter Key Value
HALF_LOCKED2 &d->mutex
HALF_LOCKED2 &n->dev.mutex
HALF_LOCKED2 &vs->dev.mutex
HALF_LOCKED2 &vsock->dev.mutex
TYPE_LOCK (struct vhost_dev)->mutex