IOMMU_PMU_FILTER_PAGE_TABLE
IOMMU_PMU_FILTER_PAGE_TABLE, idx,
iommu_pmu_clear_filter(IOMMU_PMU_FILTER_PAGE_TABLE, idx);
IOMMU_PMU_ATTR(filter_page_table_en, "config1:4", IOMMU_PMU_FILTER_PAGE_TABLE);
IOMMU_PMU_ATTR(filter_page_table, "config2:32-36", IOMMU_PMU_FILTER_PAGE_TABLE);