#include <linux/config.h>
#ifdef CONFIG_IA64_SGI_SN1
-#define MACHVEC_PLATFORM_NAME sn1
-#define MACHVEC_PLATFORM_HEADER <asm/machvec_sn1.h>
+#define MACHVEC_PLATFORM_NAME sn1
#else CONFIG_IA64_SGI_SN1
-#define MACHVEC_PLATFORM_NAME sn2
-#define MACHVEC_PLATFORM_HEADER <asm/machvec_sn2.h>
+#define MACHVEC_PLATFORM_NAME sn2
#else
#error "unknown platform"
#endif