Prevalence of attention deficit hyperactivity disorder in an adult mental health service in the Republic of Ireland. (March 2023)