Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/generic_pt/fmt/iommu_amdv1.c __map_range_leaf() -> amdv1pt_can_have_leaf()

Type Parameter Key Value
PARAM_VALUE 0 pts 4698837936743452672
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_amdv1.c amdv1pt_possible_sizes() -> amdv1pt_can_have_leaf()

Type Parameter Key Value
PARAM_VALUE 0 pts 1429463065581088768,4698837936743452672
DATA_SOURCE 0 pts $0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_amdv1.c compute_best_pgsize() -> amdv1pt_can_have_leaf()

Type Parameter Key Value
PARAM_VALUE 0 pts 4698837936743452672
DATA_SOURCE 0 pts $0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c __map_range_leaf() -> amdv1pt_can_have_leaf()

Type Parameter Key Value
PARAM_VALUE 0 pts 9117938481813368832
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c amdv1pt_possible_sizes() -> amdv1pt_can_have_leaf()

Type Parameter Key Value
PARAM_VALUE 0 pts 8240581173866729472,9117938481813368832
DATA_SOURCE 0 pts $0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c compute_best_pgsize() -> amdv1pt_can_have_leaf()

Type Parameter Key Value
PARAM_VALUE 0 pts 9117938481813368832
DATA_SOURCE 0 pts $0
RX_PATH
TASK_NOT_RUNNING