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