1 // SPDX-License-Identifier: GPL-2.0-only
8 #include <linux/init.h>
11 #include <linux/irqchip.h>
12 #include <asm/mips-cps.h>
15 int get_c0_perfcount_int(void)
17 return gic_get_c0_perfcount_int();
19 EXPORT_SYMBOL_GPL(get_c0_perfcount_int);
21 void __init arch_init_irq(void)