1*d2912cb1SThomas Gleixner // SPDX-License-Identifier: GPL-2.0-only 21df7addbSJohn Crispin /* 31df7addbSJohn Crispin * 41df7addbSJohn Crispin * Copyright (C) 2015 Nikolay Martynov <mar.kolya@gmail.com> 597b92108SJohn Crispin * Copyright (C) 2015 John Crispin <john@phrozen.org> 61df7addbSJohn Crispin */ 71df7addbSJohn Crispin 81df7addbSJohn Crispin #include <linux/init.h> 91df7addbSJohn Crispin 101df7addbSJohn Crispin #include <linux/of.h> 111df7addbSJohn Crispin #include <linux/irqchip.h> 12dd016350SPaul Burton #include <asm/mips-cps.h> 131df7addbSJohn Crispin get_c0_perfcount_int(void)141df7addbSJohn Crispinint get_c0_perfcount_int(void) 151df7addbSJohn Crispin { 161df7addbSJohn Crispin return gic_get_c0_perfcount_int(); 171df7addbSJohn Crispin } 181df7addbSJohn Crispin EXPORT_SYMBOL_GPL(get_c0_perfcount_int); 191df7addbSJohn Crispin arch_init_irq(void)201df7addbSJohn Crispinvoid __init arch_init_irq(void) 211df7addbSJohn Crispin { 221df7addbSJohn Crispin irqchip_init(); 231df7addbSJohn Crispin } 24