Symbol: IOMMU_L1PG_INT_REG