Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/generic_pt/fmt/iommu_vtdss.c pt_set_sw_bit_release() -> vtdss_pt_sw_bit()

Type Parameter Key Value
PARAM_VALUE 0 bitnr 0
DATA_SOURCE 0 bitnr $1
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_vtdss.c pt_test_sw_bit_acquire() -> vtdss_pt_sw_bit()

Type Parameter Key Value
PARAM_VALUE 0 bitnr 0
DATA_SOURCE 0 bitnr $1
RX_PATH
TASK_NOT_RUNNING