1/* SPDX-License-Identifier: GPL-2.0 */ 2/* 3 * Nothing to see here yet 4 */ 5#ifndef _ARCH_ARM_HW_IRQ_H 6#define _ARCH_ARM_HW_IRQ_H 7 8static inline void ack_bad_irq(int irq) 9{ 10 extern unsigned long irq_err_count; 11 irq_err_count++; 12 pr_crit("unexpected IRQ trap at vector %02x\n", irq); 13} 14 15#define ARCH_IRQ_INIT_FLAGS (IRQ_NOREQUEST | IRQ_NOPROBE) 16 17#endif 18