Peygamberimiz döneminde Hayretdin ismi kullanılıyor muydu?

Tarihi kayıtlarda doğrudan Hayretdin ismi görülmemiştir; ancak benzer yapıda isimler (Hayreddin) Selçuklu ve Osmanlı döneminde kullanılmıştır.