Not mentioned as king in the Book of Leinster, he is however given this title in the Annals of Innisfallen.
He is not mentioned by his royal title in the Book of Leinster, but it is documented as such in the Annals of Innisfallen.