Мирское имя Девятень образовано от числительного «девять». Скорее всего, Девятенем родители назвали девятого по счету ребенка в семье.