diff options
Diffstat (limited to 'arch/x86/xen')
-rw-r--r-- | arch/x86/xen/enlighten.c | 1 | ||||
-rw-r--r-- | arch/x86/xen/irq.c | 1 | ||||
-rw-r--r-- | arch/x86/xen/xen-ops.h | 1 |
3 files changed, 2 insertions, 1 deletions
diff --git a/arch/x86/xen/enlighten.c b/arch/x86/xen/enlighten.c index 67897152237c..70f140447a28 100644 --- a/arch/x86/xen/enlighten.c +++ b/arch/x86/xen/enlighten.c | |||
@@ -33,6 +33,7 @@ | |||
33 | #include <linux/memblock.h> | 33 | #include <linux/memblock.h> |
34 | 34 | ||
35 | #include <xen/xen.h> | 35 | #include <xen/xen.h> |
36 | #include <xen/events.h> | ||
36 | #include <xen/interface/xen.h> | 37 | #include <xen/interface/xen.h> |
37 | #include <xen/interface/version.h> | 38 | #include <xen/interface/version.h> |
38 | #include <xen/interface/physdev.h> | 39 | #include <xen/interface/physdev.h> |
diff --git a/arch/x86/xen/irq.c b/arch/x86/xen/irq.c index 157337657971..01a4dc015ae1 100644 --- a/arch/x86/xen/irq.c +++ b/arch/x86/xen/irq.c | |||
@@ -5,6 +5,7 @@ | |||
5 | #include <xen/interface/xen.h> | 5 | #include <xen/interface/xen.h> |
6 | #include <xen/interface/sched.h> | 6 | #include <xen/interface/sched.h> |
7 | #include <xen/interface/vcpu.h> | 7 | #include <xen/interface/vcpu.h> |
8 | #include <xen/events.h> | ||
8 | 9 | ||
9 | #include <asm/xen/hypercall.h> | 10 | #include <asm/xen/hypercall.h> |
10 | #include <asm/xen/hypervisor.h> | 11 | #include <asm/xen/hypervisor.h> |
diff --git a/arch/x86/xen/xen-ops.h b/arch/x86/xen/xen-ops.h index bb5a8105ea86..a95b41744ad0 100644 --- a/arch/x86/xen/xen-ops.h +++ b/arch/x86/xen/xen-ops.h | |||
@@ -35,7 +35,6 @@ void xen_set_pat(u64); | |||
35 | 35 | ||
36 | char * __init xen_memory_setup(void); | 36 | char * __init xen_memory_setup(void); |
37 | void __init xen_arch_setup(void); | 37 | void __init xen_arch_setup(void); |
38 | void __init xen_init_IRQ(void); | ||
39 | void xen_enable_sysenter(void); | 38 | void xen_enable_sysenter(void); |
40 | void xen_enable_syscall(void); | 39 | void xen_enable_syscall(void); |
41 | void xen_vcpu_restore(void); | 40 | void xen_vcpu_restore(void); |