Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/vsi-iommu.c vsi_iommu_map_iova() -> vsi_mk_pte()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | page | $4 [m] |
| DATA_SOURCE | 1 | prot | $6 |
| PREEMPT_ADD | |||
| LOCK2 | &vsi_domain->lock | ||
| LOCK2 | flags | ||
| TYPE_LOCK | (struct vsi_iommu_domain)->lock |