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
14int get_c0_perfcount_int(void)
15{
16	return gic_get_c0_perfcount_int();
17}
18EXPORT_SYMBOL_GPL(get_c0_perfcount_int);
19
20void __init arch_init_irq(void)
21{
22	irqchip_init();
23}