1 // SPDX-License-Identifier: GPL-2.0-only 2 /* 3 * 4 * Copyright (C) 2015 Nikolay Martynov <mar.kolya@gmail.com> 5 * Copyright (C) 2015 John Crispin <john@phrozen.org> 6 */ 7 8 #include <linux/init.h> 9 10 #include <linux/of.h> 11 #include <linux/irqchip.h> 12 #include <asm/mips-cps.h> 13 #include <asm/time.h> 14 15 int get_c0_perfcount_int(void) 16 { 17 return gic_get_c0_perfcount_int(); 18 } 19 EXPORT_SYMBOL_GPL(get_c0_perfcount_int); 20 21 void __init arch_init_irq(void) 22 { 23 irqchip_init(); 24 } 25