Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/iommu/intel/iommu.c platform_optin_force_iommu() -> iommu_set_default_passthrough()

Type Parameter Key Value
PARAM_VALUE 0 cmd_line 0
NOCHECK_CALL

drivers/iommu/iommu.c iommu_set_def_domain_type() -> iommu_set_default_passthrough()

Type Parameter Key Value
PARAM_VALUE 0 cmd_line 1
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/pci-dma.c iommu_setup() -> iommu_set_default_passthrough()

Type Parameter Key Value
PARAM_VALUE 0 cmd_line 1
NOCHECK_CALL
HALF_LOCKED2 irq