Symbol: intel_domain_is_ss_paging
drivers/iommu/intel/iommu.c
1154
if (WARN_ON(!intel_domain_is_ss_paging(domain)))
drivers/iommu/intel/iommu.c
1335
else if (intel_domain_is_ss_paging(domain))
drivers/iommu/intel/iommu.c
3109
else if (intel_domain_is_ss_paging(dmar_domain))
drivers/iommu/intel/iommu.c
3642
else if (intel_domain_is_ss_paging(dmar_domain))
drivers/iommu/intel/nested.c
213
if (!intel_domain_is_ss_paging(s2_domain) || !s2_domain->nested_parent)