Las funciones de las Fuerzas de Defensa irlandesas incluyen: