Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 19 files:
-
arch/powerpc/kernel/iommu.c,
line 1298
-
drivers/iommu/amd/init.c,
line 1781
-
drivers/iommu/apple-dart.c,
line 1217
-
drivers/iommu/arm/arm-smmu-v3/arm-smmu-v3.c,
line 5628
-
drivers/iommu/arm/arm-smmu/arm-smmu.c,
line 2281
-
drivers/iommu/arm/arm-smmu/qcom_iommu.c
-
drivers/iommu/intel/dmar.c,
line 1248
-
drivers/iommu/iommu.c
-
drivers/iommu/ipmmu-vmsa.c,
line 1112
-
drivers/iommu/mtk_iommu.c
-
drivers/iommu/mtk_iommu_v1.c
-
drivers/iommu/omap-iommu.c,
line 1247
-
drivers/iommu/riscv/iommu.c,
line 1551
-
drivers/iommu/s390-iommu.c,
line 1092
-
drivers/iommu/sprd-iommu.c
-
drivers/iommu/sun50i-iommu.c,
line 1062
-
drivers/iommu/tegra-smmu.c,
line 1187
-
drivers/iommu/virtio-iommu.c,
line 1258
-
drivers/xen/grant-dma-iommu.c,
line 59
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->dev |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->list.next |
4521156693305294848 |
| PARAM_VALUE |
0 |
iommu->list.prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->ops |
4423595057060163584 |
| PARAM_VALUE |
0 |
iommu->ready |
1 |
| PARAM_VALUE |
0 |
iommu->singleton_group |
0 |
| MEM_ZERO |
0 |
iommu |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->dev |
0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&_dev->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
4096-ptr_max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
global &dmar_global_lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->dev |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->list.next |
4521156693305294848 |
| PARAM_VALUE |
0 |
iommu->list.prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->ops |
567551468923482112 |
| PARAM_VALUE |
0 |
iommu->ready |
1 |
| PARAM_VALUE |
0 |
iommu->singleton_group |
0 |
| MEM_ZERO |
0 |
iommu |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->dev |
0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&_dev->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu->dev |
0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&_d->mutex |
|
| Type |
Parameter |
Key |
Value |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&_dev->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->dev |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->list.next |
4521156693305294848 |
| PARAM_VALUE |
0 |
iommu->list.prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->ops |
8087587938034249728 |
| PARAM_VALUE |
0 |
iommu->ready |
1 |
| PARAM_VALUE |
0 |
iommu->singleton_group |
0 |
| MEM_ZERO |
0 |
iommu |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu->dev |
0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&_dev->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->dev |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->list.next |
4521156693305294848 |
| PARAM_VALUE |
0 |
iommu->list.prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->ops |
250121659333685248 |
| PARAM_VALUE |
0 |
iommu->ready |
1 |
| PARAM_VALUE |
0 |
iommu->singleton_group |
0 |
| MEM_ZERO |
0 |
iommu |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->dev |
0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&_dev->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->dev |
1-u64max |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
flags |
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
4096-ptr_max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&_dev->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
4096-ptr_max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&_dev->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
4096-ptr_max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&_dev->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
4096-ptr_max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&_dev->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->dev |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->list.next |
4521156693305294848 |
| PARAM_VALUE |
0 |
iommu->list.prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->ops |
488842600399073280 |
| PARAM_VALUE |
0 |
iommu->ready |
1 |
| PARAM_VALUE |
0 |
iommu->singleton_group |
0 |
| MEM_ZERO |
0 |
iommu |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->list.next |
4521156693305294848 |
| PARAM_VALUE |
0 |
iommu->list.prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->ops |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->ops->owner |
0 |
| DATA_SOURCE |
0 |
iommu |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
iommu->max_pasids |
0-u32max |
| HOST_DATA |
0 |
iommu->ready |
0-1 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
3649304324689960960 |
| PARAM_VALUE |
0 |
iommu->dev |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->fwnode |
0,4096-u64max |
| PARAM_VALUE |
0 |
iommu->list.prev |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->ops |
0,3057493447351967744 |
| BUF_SIZE |
0 |
iommu->fwnode |
(-1),64 |
| DATA_SOURCE |
0 |
iommu |
$0 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
iommu |
4096-ptr_max |
| PARAM_VALUE |
0 |
iommu->dev |
0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&_dev->mutex |
|