Open Menu /

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/iommu/generic_pt/fmt/iommu_amdv1.c amdv1pt_iommu_fmt_init() -> pt_top_set_level()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 1 top_level 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ioas->mutex

drivers/iommu/generic_pt/fmt/iommu_x86_64.c x86_64_pt_iommu_fmt_init() -> pt_top_set_level()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 1 top_level 3-4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ioas->mutex

drivers/iommu/generic_pt/fmt/iommu_mock.c amdv1pt_iommu_fmt_init() -> pt_top_set_level()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 1 top_level 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ioas->mutex

drivers/iommu/generic_pt/fmt/iommu_riscv64.c riscvpt_iommu_fmt_init() -> pt_top_set_level()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 1 top_level 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &group->mutex

drivers/iommu/generic_pt/fmt/iommu_riscv64.c riscvpt_iommu_fmt_init() -> pt_top_set_level()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 1 top_level 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &group->mutex

drivers/iommu/generic_pt/fmt/iommu_riscv64.c riscvpt_iommu_fmt_init() -> pt_top_set_level()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 1 top_level 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &group->mutex

drivers/iommu/generic_pt/fmt/iommu_vtdss.c vtdss_pt_iommu_fmt_init() -> pt_top_set_level()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 1 top_level 2-4
FUZZY_MAX 1 top_level 2
HARD_MAX 1 top_level 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ioas->mutex