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