Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iommufd/driver.c iommufd_viommu_report_event() -> iommufd_vevent_handler()

Type Parameter Key Value
PARAM_VALUE 0 veventq 4096-ptr_max
PARAM_VALUE 0 veventq->common.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 veventq->type 3203383023
PARAM_VALUE 1 vevent 4096-ptr_max
PARAM_VALUE 1 vevent->data_len 4
BUF_SIZE 1 vevent 32,36
BUF_SIZE 1 vevent 32,36
DATA_SOURCE 0 veventq r iommufd_viommu_find_veventq
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &mdev->viommu_rwsem
LOCK2 &viommu->veventqs_rwsem
LOCK2 0 &veventq->common.lock
TYPE_LOCK (struct iommufd_eventq)->lock
TYPE_LOCK (struct iommufd_viommu)->veventqs_rwsem
TYPE_LOCK (struct mock_dev)->viommu_rwsem