1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ALPHA_HW_IRQ_H
3#define _ALPHA_HW_IRQ_H
4
5
6extern volatile unsigned long irq_err_count;
7DECLARE_PER_CPU(unsigned long, irq_pmi_count);
8
9#ifdef CONFIG_ALPHA_GENERIC
10#define ACTUAL_NR_IRQS	alpha_mv.nr_irqs
11#else
12#define ACTUAL_NR_IRQS	NR_IRQS
13#endif
14
15#endif
16