IOMMU_NOT_FOUND
init_state = IOMMU_NOT_FOUND;
case IOMMU_NOT_FOUND:
if (init_state == IOMMU_NOT_FOUND ||