1/*
 2 * This program is free software; you can redistribute it and/or modify it
 3 * under the terms of the GNU General Public License version 2 as published
 4 * by the Free Software Foundation.
 5 *
 6 * Copyright (C) 2015 Nikolay Martynov <mar.kolya@gmail.com>
 7 * Copyright (C) 2015 John Crispin <blogic@openwrt.org>
 8 */
 9
10#include <linux/init.h>
11
12#include <linux/of.h>
13#include <linux/irqchip.h>
14#include <linux/irqchip/mips-gic.h>
 
15
16int get_c0_perfcount_int(void)
17{
18	return gic_get_c0_perfcount_int();
19}
20EXPORT_SYMBOL_GPL(get_c0_perfcount_int);
21
22void __init arch_init_irq(void)
23{
24	irqchip_init();
25}

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