COMMON_IOMMU_CTRL_REG_OFFSET
COMMON_IOMMU_CTRL_REG_OFFSET;
(uint64_t *)(a + COMMON_IOMMU_CTRL_REG_OFFSET);