Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/iommu/iommufd/iova_bitmap.c, line 401 (as a function)
- include/linux/iova_bitmap.h, line 46 (as a function)
Referenced in 5 files:
- drivers/iommu/generic_pt/iommu_pt.h, line 262
- drivers/iommu/iommufd/iova_bitmap.c, line 446
- drivers/vfio/pci/mlx5/cmd.c, line 1664
- drivers/vfio/pci/pds/dirty.c, line 498
- include/linux/iommu.h, line 1114
Smatch caller information:
drivers/iommu/generic_pt/fmt/iommu_amdv1.c record_dirty() -> iova_bitmap_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitmap | 1-u64max |
| NOCHECK_CALL |
drivers/iommu/generic_pt/fmt/iommu_x86_64.c record_dirty() -> iova_bitmap_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitmap | 1-u64max |
| NOCHECK_CALL |
drivers/vfio/pci/pds/dirty.c pds_vfio_dirty_process_bitmaps() -> iova_bitmap_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitmap | 4096-ptr_max |
| PARAM_VALUE | 0 | bitmap->mapped.pages | s64max |
| DATA_SOURCE | 0 | bitmap | $2 |
| NOCHECK_CALL | |||
| LOCK2 | &pds_vfio->state_mutex | ||
| HALF_LOCKED2 | &iopt->iova_rwsem | ||
| TYPE_LOCK | (struct pds_vfio_pci_device)->state_mutex |
drivers/iommu/generic_pt/fmt/iommu_mock.c record_dirty() -> iova_bitmap_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitmap | 1-u64max |
| NOCHECK_CALL |
drivers/vfio/pci/mlx5/cmd.c set_report_output() -> iova_bitmap_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitmap | 4096-ptr_max |
| PARAM_VALUE | 0 | bitmap->mapped.npages | 0-s32max |
| PARAM_VALUE | 0 | bitmap->mapped.pgoff | 0-4095 |
| PARAM_VALUE | 0 | bitmap->mapped.pgshift | 0 |
| PARAM_VALUE | 0 | bitmap->mapped_base_index | 0-s64max |
| DATA_SOURCE | 0 | bitmap | $3 |
| NOCHECK_CALL | |||
| LOCK2 | &mvdev->state_mutex | ||
| HALF_LOCKED2 | &iopt->iova_rwsem | ||
| TYPE_LOCK | (struct mlx5vf_pci_core_device)->state_mutex |
drivers/iommu/generic_pt/fmt/iommu_riscv64.c record_dirty() -> iova_bitmap_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitmap | 1-u64max |
| NOCHECK_CALL |
drivers/iommu/io-pgtable-arm.c iommu_dirty_bitmap_record() -> iova_bitmap_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitmap | 1-u64max |
| CAPPED_DATA | 1 | iova | 1 |
| CAPPED_DATA | 1 | iova | 1 |
| DATA_SOURCE | 1 | iova | $1 |
| DATA_SOURCE | 2 | length | $2 |
| NOCHECK_CALL |
drivers/iommu/generic_pt/fmt/iommu_vtdss.c record_dirty() -> iova_bitmap_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bitmap | 1-u64max |
| NOCHECK_CALL |