1 // SPDX-License-Identifier: GPL-2.0-only 1
2 /*
3 *
4 * Copyright (C) 2015 Nikolay Martynov <mar.ko
5 * Copyright (C) 2015 John Crispin <john@phroz
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
14 int get_c0_perfcount_int(void)
15 {
16 return gic_get_c0_perfcount_int();
17 }
18 EXPORT_SYMBOL_GPL(get_c0_perfcount_int);
19
20 void __init arch_init_irq(void)
21 {
22 irqchip_init();
23 }
24
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.