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