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 | |
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 |