`Gardaí` is more of a formal name for a specific insitution. The Irish language still has the more generic word `póilín`, which appears to be at least phonetically related to the english `police`.