TOMATIILO_IOMMU_ERR_REG_SHIFT
if (ctl_old >> TOMATIILO_IOMMU_ERR_REG_SHIFT) {
*ctl_p |= (ctl_old >> TOMATIILO_IOMMU_ERR_REG_SHIFT)
<< TOMATIILO_IOMMU_ERR_REG_SHIFT;