ia64/xen-unstable

changeset 1507:b535339f6ed0

bitkeeper revision 1.984 (40d46ea9vfESAZLlQ90uqCG0OpF4EQ)

More cleanups.
author kaf24@scramble.cl.cam.ac.uk
date Sat Jun 19 16:49:45 2004 +0000 (2004-06-19)
parents 729cac1fb14e
children 321dda020e93
files xen/arch/x86/flushtlb.c xen/arch/x86/i8259.c xen/arch/x86/io_apic.c xen/arch/x86/irq.c
line diff
     1.1 --- a/xen/arch/x86/flushtlb.c	Sat Jun 19 16:48:34 2004 +0000
     1.2 +++ b/xen/arch/x86/flushtlb.c	Sat Jun 19 16:49:45 2004 +0000
     1.3 @@ -9,7 +9,7 @@
     1.4  
     1.5  #include <xen/config.h>
     1.6  #include <xen/sched.h>
     1.7 -#include <xen/interrupt.h>
     1.8 +#include <xen/softirq.h>
     1.9  #include <asm/flushtlb.h>
    1.10  
    1.11  u32 tlbflush_clock;
     2.1 --- a/xen/arch/x86/i8259.c	Sat Jun 19 16:48:34 2004 +0000
     2.2 +++ b/xen/arch/x86/i8259.c	Sat Jun 19 16:49:45 2004 +0000
     2.3 @@ -10,9 +10,7 @@
     2.4  #include <asm/ptrace.h>
     2.5  #include <xen/errno.h>
     2.6  #include <xen/sched.h>
     2.7 -#include <xen/interrupt.h>
     2.8  #include <xen/irq.h>
     2.9 -
    2.10  #include <asm/atomic.h>
    2.11  #include <asm/system.h>
    2.12  #include <asm/io.h>
     3.1 --- a/xen/arch/x86/io_apic.c	Sat Jun 19 16:48:34 2004 +0000
     3.2 +++ b/xen/arch/x86/io_apic.c	Sat Jun 19 16:49:45 2004 +0000
     3.3 @@ -22,7 +22,6 @@
     3.4  
     3.5  #include <xen/config.h>
     3.6  #include <xen/init.h>
     3.7 -#include <xen/interrupt.h>
     3.8  #include <xen/irq.h>
     3.9  #include <xen/delay.h>
    3.10  #include <xen/sched.h>
     4.1 --- a/xen/arch/x86/irq.c	Sat Jun 19 16:48:34 2004 +0000
     4.2 +++ b/xen/arch/x86/irq.c	Sat Jun 19 16:49:45 2004 +0000
     4.3 @@ -8,7 +8,6 @@
     4.4  #include <xen/config.h>
     4.5  #include <xen/errno.h>
     4.6  #include <xen/event.h>
     4.7 -#include <xen/interrupt.h>
     4.8  #include <xen/irq.h>
     4.9  #include <xen/perfc.h>
    4.10  #include <xen/sched.h>