Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/virtio-iommu.c viommu_flush_iotlb_all() -> viommu_sync_req()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/iommu/virtio-iommu.c viommu_iotlb_sync() -> viommu_sync_req()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/iommu/virtio-iommu.c viommu_iotlb_sync_map() -> viommu_sync_req()
| Type | Parameter | Key | Value |
|---|