1// SPDX-License-Identifier: GPL-2.0
 2/*
 3 * calculate
 4 * NR_IRQS = max(IA64_NATIVE_NR_IRQS, XEN_NR_IRQS, FOO_NR_IRQS...)
 5 * depending on config.
 6 * This must be calculated before processing asm-offset.c.
 7 */
 8
 9#define ASM_OFFSETS_C 1
10
11#include <linux/kbuild.h>
12#include <linux/threads.h>
13#include <asm/native/irq.h>
14
15void foo(void)
16{
17	union paravirt_nr_irqs_max {
18		char ia64_native_nr_irqs[IA64_NATIVE_NR_IRQS];
19	};
20
21	DEFINE(NR_IRQS, sizeof (union paravirt_nr_irqs_max));
22}