diff -r 59b8768d0d0d xen/arch/x86/domain.c --- a/xen/arch/x86/domain.c Wed Mar 05 11:18:25 2008 +0000 +++ b/xen/arch/x86/domain.c Thu Mar 06 09:30:04 2008 +0800 @@ -46,7 +46,7 @@ #include #include #include -#include +#include #ifdef CONFIG_COMPAT #include #endif diff -r 59b8768d0d0d xen/arch/x86/domctl.c --- a/xen/arch/x86/domctl.c Wed Mar 05 11:18:25 2008 +0000 +++ b/xen/arch/x86/domctl.c Wed Mar 05 11:22:58 2008 +0800 @@ -26,7 +26,7 @@ #include #include #include -#include +#include long arch_do_domctl( struct xen_domctl *domctl, diff -r 59b8768d0d0d xen/arch/x86/hvm/intercept.c --- a/xen/arch/x86/hvm/intercept.c Wed Mar 05 11:18:25 2008 +0000 +++ b/xen/arch/x86/hvm/intercept.c Wed Mar 05 11:22:58 2008 +0800 @@ -30,7 +30,7 @@ #include #include #include -#include +#include extern struct hvm_mmio_handler hpet_mmio_handler; extern struct hvm_mmio_handler vlapic_mmio_handler; diff -r 59b8768d0d0d xen/arch/x86/irq.c --- a/xen/arch/x86/irq.c Wed Mar 05 11:18:25 2008 +0000 +++ b/xen/arch/x86/irq.c Wed Mar 05 11:22:58 2008 +0800 @@ -15,7 +15,7 @@ #include #include #include -#include +#include /* opt_noirqbalance: If true, software IRQ balancing/affinity is disabled. */ int opt_noirqbalance = 0; diff -r 59b8768d0d0d xen/arch/x86/mm/p2m.c --- a/xen/arch/x86/mm/p2m.c Wed Mar 05 11:18:25 2008 +0000 +++ b/xen/arch/x86/mm/p2m.c Thu Mar 06 09:30:04 2008 +0800 @@ -27,7 +27,7 @@ #include #include #include -#include +#include /* Debugging and auditing of the P2M code? */ #define P2M_AUDIT 0 diff -r 59b8768d0d0d xen/drivers/passthrough/amd/iommu_detect.c --- a/xen/drivers/passthrough/amd/iommu_detect.c Wed Mar 05 11:18:25 2008 +0000 +++ b/xen/drivers/passthrough/amd/iommu_detect.c Wed Mar 05 11:22:58 2008 +0800 @@ -20,7 +20,7 @@ #include #include -#include +#include #include #include #include "../pci-direct.h" diff -r 59b8768d0d0d xen/drivers/passthrough/amd/iommu_map.c --- a/xen/drivers/passthrough/amd/iommu_map.c Wed Mar 05 11:18:25 2008 +0000 +++ b/xen/drivers/passthrough/amd/iommu_map.c Wed Mar 05 11:22:58 2008 +0800 @@ -19,7 +19,7 @@ */ #include -#include +#include #include #include diff -r 59b8768d0d0d xen/drivers/passthrough/vtd/dmar.h --- a/xen/drivers/passthrough/vtd/dmar.h Wed Mar 05 11:18:25 2008 +0000 +++ b/xen/drivers/passthrough/vtd/dmar.h Wed Mar 05 11:22:58 2008 +0800 @@ -22,7 +22,7 @@ #define _DMAR_H_ #include -#include +#include extern u8 dmar_host_address_width; diff -r 59b8768d0d0d xen/include/asm-x86/fixmap.h --- a/xen/include/asm-x86/fixmap.h Wed Mar 05 11:18:25 2008 +0000 +++ b/xen/include/asm-x86/fixmap.h Wed Mar 05 11:22:58 2008 +0800 @@ -17,7 +17,7 @@ #include #include #include -#include +#include #include /* diff -r 59b8768d0d0d xen/include/asm-x86/hvm/domain.h --- a/xen/include/asm-x86/hvm/domain.h Wed Mar 05 11:18:25 2008 +0000 +++ b/xen/include/asm-x86/hvm/domain.h Wed Mar 05 11:22:58 2008 +0800 @@ -21,13 +21,13 @@ #ifndef __ASM_X86_HVM_DOMAIN_H__ #define __ASM_X86_HVM_DOMAIN_H__ -#include +#include #include #include #include #include #include -#include +#include #include #include diff -r 59b8768d0d0d xen/include/asm-x86/io_apic.h --- a/xen/include/asm-x86/io_apic.h Wed Mar 05 11:18:25 2008 +0000 +++ b/xen/include/asm-x86/io_apic.h Wed Mar 05 11:22:58 2008 +0800 @@ -6,7 +6,7 @@ #include #include #include -#include +#include /* * Intel IO-APIC support for SMP and UP systems.