/* * This program is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 as published * by the Free Software Foundation. * * 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> 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(); }