Branch data     Line data    Source code

       1                 :            : /*
       2                 :            :  * Copyright (C) 2012 Thomas Petazzoni
       3                 :            :  *
       4                 :            :  * Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
       5                 :            :  *
       6                 :            :  * This file is licensed under the terms of the GNU General Public
       7                 :            :  * License version 2.  This program is licensed "as is" without any
       8                 :            :  * warranty of any kind, whether express or implied.
       9                 :            :  */
      10                 :            : 
      11                 :            : #include <linux/acpi.h>
      12                 :            : #include <linux/init.h>
      13                 :            : #include <linux/of_irq.h>
      14                 :            : #include <linux/irqchip.h>
      15                 :            : 
      16                 :            : /*
      17                 :            :  * This special of_device_id is the sentinel at the end of the
      18                 :            :  * of_device_id[] array of all irqchips. It is automatically placed at
      19                 :            :  * the end of the array by the linker, thanks to being part of a
      20                 :            :  * special section.
      21                 :            :  */
      22                 :            : static const struct of_device_id
      23                 :            : irqchip_of_match_end __used __section(__irqchip_of_table_end);
      24                 :            : 
      25                 :            : extern struct of_device_id __irqchip_of_table[];
      26                 :            : 
      27                 :        404 : void __init irqchip_init(void)
      28                 :            : {
      29                 :        404 :         of_irq_init(__irqchip_of_table);
      30                 :            :         acpi_probe_device_table(irqchip);
      31                 :        404 : }