Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/dma-iommu.c fq_flush_iotlb() -> (struct iommu_domain_ops)->flush_iotlb_all()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops | 4096-ptr_max |
| CONTAINER | 0 | *(-32-16+0) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &fq->lock | ||
| HALF_LOCKED2 | flags |
drivers/gpu/drm/msm/msm_iommu.c iommu_flush_iotlb_all() -> (struct iommu_domain_ops)->flush_iotlb_all()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->flush_iotlb_all | 1409264724003270656,7012404210964918272,8586290232470175744 |
| DATA_SOURCE | 0 | domain | $0 |
| CONTAINER | 0 | -32-16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vm->mmu_lock |