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