irq.c (6e2d6b2728fcb408eabd7991804f8cb33ff59f20) irq.c (5c83511bdb9832c86be20fb86b783356e2f58062)
1// SPDX-License-Identifier: GPL-2.0
2#include <linux/hardirq.h>
3
4#include <asm/x86_init.h>
5
6#include <xen/interface/xen.h>
7#include <xen/interface/sched.h>
8#include <xen/interface/vcpu.h>

--- 114 unchanged lines hidden (view full) ---

123 .irq_enable = PV_CALLEE_SAVE(xen_irq_enable),
124
125 .safe_halt = xen_safe_halt,
126 .halt = xen_halt,
127};
128
129void __init xen_init_irq_ops(void)
130{
1// SPDX-License-Identifier: GPL-2.0
2#include <linux/hardirq.h>
3
4#include <asm/x86_init.h>
5
6#include <xen/interface/xen.h>
7#include <xen/interface/sched.h>
8#include <xen/interface/vcpu.h>

--- 114 unchanged lines hidden (view full) ---

123 .irq_enable = PV_CALLEE_SAVE(xen_irq_enable),
124
125 .safe_halt = xen_safe_halt,
126 .halt = xen_halt,
127};
128
129void __init xen_init_irq_ops(void)
130{
131 pv_irq_ops = xen_irq_ops;
131 pv_ops.irq = xen_irq_ops;
132 x86_init.irqs.intr_init = xen_init_IRQ;
133}
132 x86_init.irqs.intr_init = xen_init_IRQ;
133}