Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/generic_pt/fmt/iommu_amdv1.c amdv1_unmap_range() -> gather_range_pending()

Type Parameter Key Value
PARAM_VALUE 0 pending 1404502059194839040
PARAM_VALUE 0 pending->free_list.pages.next 0
PARAM_VALUE 0 pending->free_list.pages.prev 0
PARAM_VALUE 0 pending->iotlb_gather 833451126278635520,3686779949083234304,6830266767623548928,7640417311242076160
PARAM_VALUE 0 pending->leaf_levels_bitmap 0
PARAM_VALUE 0 pending->table_levels_bitmap 0
PARAM_VALUE 1 iommu_table 4096-ptr_max
PARAM_VALUE 1 iommu_table->ops 4096-ptr_max
PARAM_VALUE 3 len 0
DATA_SOURCE 1 iommu_table $0
DATA_SOURCE 2 iova $1
NOSPEC 2 iova
NOSPEC 2 iova
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 iova 0-u64max
USER_DATA 2 iova 0-u64max[c]

drivers/iommu/generic_pt/fmt/iommu_amdv1.c clear_contig() -> gather_range_pending()

Type Parameter Key Value
PARAM_VALUE 0 pending 1509573699492777984
PARAM_VALUE 0 pending->free_list.pages.next 0,1404502059194839048,1509573699492777992
PARAM_VALUE 0 pending->leaf_levels_bitmap 0
PARAM_VALUE 1 iommu_table 4096-ptr_max
BUF_SIZE 1 iommu_table 144
DATA_SOURCE 1 iommu_table r iommu_from_common
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/generic_pt/fmt/iommu_x86_64.c clear_contig() -> gather_range_pending()

Type Parameter Key Value
PARAM_VALUE 0 pending 9136088324673835008
PARAM_VALUE 0 pending->free_list.pages.next 0,74321645993480200,9136088324673835016
PARAM_VALUE 0 pending->leaf_levels_bitmap 0
PARAM_VALUE 1 iommu_table 4096-ptr_max
BUF_SIZE 1 iommu_table 144
DATA_SOURCE 1 iommu_table r iommu_from_common
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/generic_pt/fmt/iommu_x86_64.c x86_64_unmap_range() -> gather_range_pending()

Type Parameter Key Value
PARAM_VALUE 0 pending 74321645993480192
PARAM_VALUE 0 pending->free_list.pages.next 0
PARAM_VALUE 0 pending->free_list.pages.prev 0
PARAM_VALUE 0 pending->iotlb_gather 833451126278635520,3686779949083234304,6830266767623548928,7640417311242076160
PARAM_VALUE 0 pending->leaf_levels_bitmap 0
PARAM_VALUE 0 pending->table_levels_bitmap 0
PARAM_VALUE 1 iommu_table 4096-ptr_max
PARAM_VALUE 1 iommu_table->ops 4096-ptr_max
PARAM_VALUE 3 len 0
DATA_SOURCE 1 iommu_table $0
DATA_SOURCE 2 iova $1
NOSPEC 2 iova
NOSPEC 2 iova
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 iova 0-u64max
USER_DATA 2 iova 0-u64max[c]

drivers/iommu/generic_pt/fmt/iommu_mock.c amdv1_mock_unmap_range() -> gather_range_pending()

Type Parameter Key Value
PARAM_VALUE 0 pending 4937221853813952512
PARAM_VALUE 0 pending->free_list.pages.next 0
PARAM_VALUE 0 pending->free_list.pages.prev 0
PARAM_VALUE 0 pending->iotlb_gather 833451126278635520,3686779949083234304,6830266767623548928,7640417311242076160
PARAM_VALUE 0 pending->leaf_levels_bitmap 0
PARAM_VALUE 0 pending->table_levels_bitmap 0
PARAM_VALUE 1 iommu_table 4096-ptr_max
PARAM_VALUE 1 iommu_table->ops 4096-ptr_max
PARAM_VALUE 3 len 0
DATA_SOURCE 1 iommu_table $0
DATA_SOURCE 2 iova $1
NOSPEC 2 iova
NOSPEC 2 iova
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 iova 0-u64max
USER_DATA 2 iova 0-u64max[c]

drivers/iommu/generic_pt/fmt/iommu_mock.c clear_contig() -> gather_range_pending()

Type Parameter Key Value
PARAM_VALUE 0 pending 4564823015202627584
PARAM_VALUE 0 pending->free_list.pages.next 0,4564823015202627592,4937221853813952520
PARAM_VALUE 0 pending->leaf_levels_bitmap 0
PARAM_VALUE 1 iommu_table 4096-ptr_max
BUF_SIZE 1 iommu_table 144
DATA_SOURCE 1 iommu_table r iommu_from_common
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/generic_pt/fmt/iommu_riscv64.c clear_contig() -> gather_range_pending()

Type Parameter Key Value
PARAM_VALUE 0 pending 8023452276910714880
PARAM_VALUE 0 pending->free_list.pages.next 0,7017750906145071112,8023452276910714888
PARAM_VALUE 0 pending->leaf_levels_bitmap 0
PARAM_VALUE 1 iommu_table 4096-ptr_max
BUF_SIZE 1 iommu_table 144
DATA_SOURCE 1 iommu_table r iommu_from_common
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/generic_pt/fmt/iommu_riscv64.c riscv_64_unmap_range() -> gather_range_pending()

Type Parameter Key Value
PARAM_VALUE 0 pending 7017750906145071104
PARAM_VALUE 0 pending->free_list.pages.next 0
PARAM_VALUE 0 pending->free_list.pages.prev 0
PARAM_VALUE 0 pending->iotlb_gather 833451126278635520,3686779949083234304,6830266767623548928,7640417311242076160
PARAM_VALUE 0 pending->leaf_levels_bitmap 0
PARAM_VALUE 0 pending->table_levels_bitmap 0
PARAM_VALUE 1 iommu_table 4096-ptr_max
PARAM_VALUE 1 iommu_table->ops 4096-ptr_max
PARAM_VALUE 3 len 0
DATA_SOURCE 1 iommu_table $0
DATA_SOURCE 2 iova $1
NOSPEC 2 iova
NOSPEC 2 iova
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 iova 0-u64max
USER_DATA 2 iova 0-u64max[c]

drivers/iommu/generic_pt/fmt/iommu_vtdss.c clear_contig() -> gather_range_pending()

Type Parameter Key Value
PARAM_VALUE 0 pending 3406546832170885120
PARAM_VALUE 0 pending->free_list.pages.next 0,3406546832170885128,6827505121090887688
PARAM_VALUE 0 pending->leaf_levels_bitmap 0
PARAM_VALUE 1 iommu_table 4096-ptr_max
BUF_SIZE 1 iommu_table 144
DATA_SOURCE 1 iommu_table r iommu_from_common
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/generic_pt/fmt/iommu_vtdss.c vtdss_unmap_range() -> gather_range_pending()

Type Parameter Key Value
PARAM_VALUE 0 pending 6827505121090887680
PARAM_VALUE 0 pending->free_list.pages.next 0
PARAM_VALUE 0 pending->free_list.pages.prev 0
PARAM_VALUE 0 pending->iotlb_gather 833451126278635520,3686779949083234304,6830266767623548928,7640417311242076160
PARAM_VALUE 0 pending->leaf_levels_bitmap 0
PARAM_VALUE 0 pending->table_levels_bitmap 0
PARAM_VALUE 1 iommu_table 4096-ptr_max
PARAM_VALUE 1 iommu_table->ops 4096-ptr_max
PARAM_VALUE 3 len 0
DATA_SOURCE 1 iommu_table $0
DATA_SOURCE 2 iova $1
NOSPEC 2 iova
NOSPEC 2 iova
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 iova 0-u64max
USER_DATA 2 iova 0-u64max[c]