blob: 8bc566ea00e56b90b2188ce016200dba58fde213 [file] [log] [blame] [edit]
// SPDX-License-Identifier: GPL-2.0-only
/*
*
* Copyright (C) 2015 Nikolay Martynov <mar.kolya@gmail.com>
* Copyright (C) 2015 John Crispin <john@phrozen.org>
*/
#include <linux/init.h>
#include <linux/of.h>
#include <linux/irqchip.h>
#include <asm/mips-cps.h>
#include <asm/time.h>
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();
}