1 #define MACHVEC_PLATFORM_NAME           xen
2 #define MACHVEC_PLATFORM_HEADER         <asm/machvec_xen.h>
3 #include <asm/machvec_init.h>
4 
5