Symbol: pt_iommu_fmt_hw_info
drivers/iommu/generic_pt/iommu_pt.h
1279
#ifdef pt_iommu_fmt_hw_info
drivers/iommu/generic_pt/iommu_pt.h
1289
pt_iommu_fmt_hw_info(fmt_table, &top_range, info);