text: /*
   * Copyright (C) 2012 Regents of the University of California
   * Copyright (C) 2017 SiFive
   *
   *   This program is free software; you can redistribute it and/or
   *   modify it under the terms of the GNU General Public License
   *   as published by the Free Software Foundation, version 2.
   *
   *   This program is distributed in the hope that it will be useful,
   *   but WITHOUT ANY WARRANTY; without even the implied warranty of
   *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   *   GNU General Public License for more details.
   */
  
  #include <linux/interrupt.h>
  #include <linux/irqchip.h>
  #include <linux/irqdomain.h>
  
  #ifdef CONFIG_RISCV_INTC
  #include <linux/irqchip/irq-riscv-intc.h>
  #endif
  
  void __init init_IRQ(void)
  {
  	irqchip_init();
  }
  