1.1 --- a/xen/include/asm-ia64/xensystem.h	Thu Sep 01 12:46:28 2005 -0600
     1.2 +++ b/xen/include/asm-ia64/xensystem.h	Thu Sep 01 15:28:28 2005 -0600
     1.3 @@ -71,6 +71,10 @@ extern struct task_struct *vmx_ia64_swit
     1.4  } while (0)
     1.5  #endif // CONFIG_VTI
     1.6  
     1.7 +#undef switch_to
     1.8 +// FIXME SMP... see system.h, does this need to be different?
     1.9 +#define switch_to(prev,next,last)	__switch_to(prev, next, last)
    1.10 +
    1.11  #define __cmpxchg_user(ptr, new, old, _size)				\
    1.12  ({									\
    1.13  	register long __gu_r8 asm ("r8");				\