Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/intel/iommu.c check_tylersburg_isoch() -> risky_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| DATA_SOURCE | 0 | pdev | r pci_get_device |
| LOCK2 | global &dmar_global_lock |
drivers/iommu/intel/iommu.c check_tylersburg_isoch() -> risky_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| DATA_SOURCE | 0 | pdev | r pci_get_device |
| LOCK2 | global &dmar_global_lock |
drivers/iommu/intel/iommu.c quirk_calpella_no_shadow_gtt() -> risky_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pdev | $0 |
drivers/iommu/intel/iommu.c quirk_igfx_skip_te_disable() -> risky_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| DATA_SOURCE | 0 | pdev | $0 |
drivers/iommu/intel/iommu.c quirk_iommu_igfx() -> risky_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pdev | $0 |
drivers/iommu/intel/iommu.c quirk_iommu_rwbf() -> risky_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pdev | $0 |