1.1 --- a/xen/arch/ia64/vmx/mm.c	Tue Oct 11 16:57:44 2005 -0600
     1.2 +++ b/xen/arch/ia64/vmx/mm.c	Wed Oct 12 09:26:23 2005 -0600
     1.3 @@ -87,7 +87,7 @@
     1.4   */
     1.5  
     1.6  #include <xen/config.h>
     1.7 -#include <public/xen.h>
     1.8 +//#include <public/xen.h>
     1.9  #include <xen/init.h>
    1.10  #include <xen/lib.h>
    1.11  #include <xen/mm.h>

     2.1 --- a/xen/arch/ia64/vmx/vmx_hypercall.c	Tue Oct 11 16:57:44 2005 -0600
     2.2 +++ b/xen/arch/ia64/vmx/vmx_hypercall.c	Wed Oct 12 09:26:23 2005 -0600
     2.3 @@ -22,7 +22,7 @@
     2.4  #include <xen/config.h>
     2.5  #include <xen/errno.h>
     2.6  #include <asm/vmx_vcpu.h>
     2.7 -#include <public/xen.h>
     2.8 +//#include <public/xen.h>
     2.9  #include <public/event_channel.h>
    2.10  #include <asm/vmmu.h>
    2.11  #include <asm/tlb.h>