2019-06-04 16:11:33 +08:00
|
|
|
// SPDX-License-Identifier: GPL-2.0-only
|
2016-01-05 03:23:55 +08:00
|
|
|
/*
|
|
|
|
*
|
|
|
|
* Copyright (C) 2015 Nikolay Martynov <mar.kolya@gmail.com>
|
2016-05-05 15:57:56 +08:00
|
|
|
* Copyright (C) 2015 John Crispin <john@phrozen.org>
|
2016-01-05 03:23:55 +08:00
|
|
|
*/
|
|
|
|
|
|
|
|
#include <linux/init.h>
|
|
|
|
|
|
|
|
#include <linux/of.h>
|
|
|
|
#include <linux/irqchip.h>
|
2017-08-13 12:36:36 +08:00
|
|
|
#include <asm/mips-cps.h>
|
2016-01-05 03:23:55 +08:00
|
|
|
|
|
|
|
int get_c0_perfcount_int(void)
|
|
|
|
{
|
|
|
|
return gic_get_c0_perfcount_int();
|
|
|
|
}
|
|
|
|
EXPORT_SYMBOL_GPL(get_c0_perfcount_int);
|
|
|
|
|
|
|
|
void __init arch_init_irq(void)
|
|
|
|
{
|
|
|
|
irqchip_init();
|
|
|
|
}
|