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