2 * drivers/irqchip/irq-crossbar.h
4 * Copyright (C) 2013 Texas Instruments Incorporated - http://www.ti.com
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * published by the Free Software Foundation.
11 int irqcrossbar_init(void);