| /* | |
| * Copyright (C) 2012 Thomas Petazzoni | |
| * | |
| * Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | |
| * | |
| * This file is licensed under the terms of the GNU General Public | |
| * License version 2. This program is licensed "as is" without any | |
| * warranty of any kind, whether express or implied. | |
| */ | |
| #include <linux/irqchip.h> |