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}

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