Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/generic_pt/fmt/iommu_amdv1.c pt_iommu_amdv1_init() -> amdv1pt_iommu_fmt_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu_table | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu_table->iommu.driver_ops->change_top | 298981589371715584,1069771592613920768 |
| PARAM_VALUE | 0 | iommu_table->iommu.driver_ops->get_top_lock | 2857324156167487488,3669695084015591424 |
| PARAM_VALUE | 1 | cfg | 5258485449550438400,6259234376088547328 |
| PARAM_VALUE | 1 | cfg->common.features | 388,404,420 |
| PARAM_VALUE | 1 | cfg->common.hw_max_oasz_lg2 | 52 |
| PARAM_VALUE | 1 | cfg->common.hw_max_vasz_lg2 | 1-64 |
| PARAM_VALUE | 1 | cfg->starting_level | 2 |
| DATA_SOURCE | 0 | iommu_table | $0 |
| DATA_SOURCE | 1 | cfg | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ioas->mutex |
drivers/iommu/generic_pt/fmt/iommu_mock.c pt_iommu_amdv1_mock_init() -> amdv1pt_iommu_fmt_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu_table | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu_table->iommu.driver_ops->change_top | 298981589371715584,1069771592613920768 |
| PARAM_VALUE | 0 | iommu_table->iommu.driver_ops->get_top_lock | 2857324156167487488,3669695084015591424 |
| PARAM_VALUE | 0 | iommu_table->iommu.nid | (-1) |
| PARAM_VALUE | 1 | cfg | 7628136682323922944 |
| PARAM_VALUE | 1 | cfg->common.features | 0 |
| PARAM_VALUE | 1 | cfg->common.hw_max_oasz_lg2 | 51 |
| PARAM_VALUE | 1 | cfg->common.hw_max_vasz_lg2 | 56 |
| PARAM_VALUE | 1 | cfg->starting_level | 2 |
| DATA_SOURCE | 0 | iommu_table | $0 |
| DATA_SOURCE | 1 | cfg | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ioas->mutex |