1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * Copyright (C) 2013 Freescale Semiconductor, Inc. 4 */ 5 6 #ifndef __LINUX_IRQCHIP_MXS_H 7 #define __LINUX_IRQCHIP_MXS_H 8 9 extern void icoll_handle_irq(struct pt_regs *); 10 11 #endif 12