Linux-2.6.33.2/arch/ia64/xen/machvec.c

#define MACHVEC_PLATFORM_NAME           xen
#define MACHVEC_PLATFORM_HEADER         <asm/machvec_xen.h>
#include <asm/machvec_init.h>