1234567891011121314151617181920212223 |
- // SPDX-License-Identifier: GPL-2.0-only
- /*
- *
- * Copyright (C) 2015 Nikolay Martynov <[email protected]>
- * Copyright (C) 2015 John Crispin <[email protected]>
- */
- #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();
- }
|