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_map_range() -> amdv1pt_iommu_set_prot()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 1 attrs 6176705781931167752
PARAM_VALUE 1 attrs->descriptor_bits 0
PARAM_VALUE 2 iommu_prot 1-u32max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
DATA_SOURCE 2 iommu_prot $4
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c amdv1_mock_map_range() -> amdv1pt_iommu_set_prot()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 1 attrs 70602010578919432
PARAM_VALUE 1 attrs->descriptor_bits 0
PARAM_VALUE 2 iommu_prot 1-u32max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
DATA_SOURCE 2 iommu_prot $4
RX_PATH
TASK_NOT_RUNNING