irq-gic.c (9938b04472d5c59f8bd8152a548533a8599596a2) irq-gic.c (97b921087fa76b1b0b2a20ae70d0e8b6d394c4ea)
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>
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>
7 * Copyright (C) 2015 John Crispin <john@phrozen.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}
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}