He is acknowledged King of Leinster at his death notice in 885 in the annals .
Domnall died in 884 and Muiredach became definitely king .
Muiredach is acknowledged King of Leinster at Muiredach 's death notice in 885 in the annals .
Domnall died in 884 and Muiredach became definitely king .