1 --- xen-4.1.2/xen/arch/x86/i8259.c.orig 2011-10-20 18:05:48.000000000 +0100
2 +++ xen-4.1.2/xen/arch/x86/i8259.c 2012-01-15 00:37:08.583827754 +0000
4 IRQ(x,8), IRQ(x,9), IRQ(x,a), IRQ(x,b), \
5 IRQ(x,c), IRQ(x,d), IRQ(x,e), IRQ(x,f)
7 - static void (*interrupt[])(void) = {
8 + static void (asmlinkage *interrupt[])(void) = {
9 IRQLIST_16(0x0), IRQLIST_16(0x1), IRQLIST_16(0x2), IRQLIST_16(0x3),
10 IRQLIST_16(0x4), IRQLIST_16(0x5), IRQLIST_16(0x6), IRQLIST_16(0x7),
11 IRQLIST_16(0x8), IRQLIST_16(0x9), IRQLIST_16(0xa), IRQLIST_16(0xb),
12 --- xen-4.1.2/xen/include/asm-x86/hvm/svm/intr.h.orig 2011-10-20 18:05:50.000000000 +0100
13 +++ xen-4.1.2/xen/include/asm-x86/hvm/svm/intr.h 2012-01-15 16:38:13.199784658 +0000
15 #ifndef __ASM_X86_HVM_SVM_INTR_H__
16 #define __ASM_X86_HVM_SVM_INTR_H__
18 -void svm_intr_assist(void);
19 +asmlinkage void svm_intr_assist(void);
21 #endif /* __ASM_X86_HVM_SVM_INTR_H__ */
22 --- xen-4.1.2/xen/include/asm-x86/hvm/vmx/vmx.h.orig 2011-10-20 18:05:50.000000000 +0100
23 +++ xen-4.1.2/xen/include/asm-x86/hvm/vmx/vmx.h 2012-01-15 17:06:07.495853077 +0000
26 void vmx_asm_vmexit_handler(struct cpu_user_regs);
27 void vmx_asm_do_vmentry(void);
28 -void vmx_intr_assist(void);
29 +asmlinkage void vmx_intr_assist(void);
30 void vmx_do_resume(struct vcpu *);
31 void vmx_vlapic_msr_changed(struct vcpu *v);
32 void vmx_realmode(struct cpu_user_regs *regs);