irq-gic.c 434 B

1234567891011121314151617181920212223
  1. // SPDX-License-Identifier: GPL-2.0-only
  2. /*
  3. *
  4. * Copyright (C) 2015 Nikolay Martynov <mar.kolya@gmail.com>
  5. * Copyright (C) 2015 John Crispin <john@phrozen.org>
  6. */
  7. #include <linux/init.h>
  8. #include <linux/of.h>
  9. #include <linux/irqchip.h>
  10. #include <asm/mips-cps.h>
  11. int get_c0_perfcount_int(void)
  12. {
  13. return gic_get_c0_perfcount_int();
  14. }
  15. EXPORT_SYMBOL_GPL(get_c0_perfcount_int);
  16. void __init arch_init_irq(void)
  17. {
  18. irqchip_init();
  19. }