IOMMU_ENABLED
init_state = IOMMU_ENABLED;
case IOMMU_ENABLED:
ret = iommu_go_to_state(IOMMU_ENABLED);