// PE32+ Machine type for EFI images\r
//\r
#define IMAGE_FILE_MACHINE_I386 0x014c\r
-#define IMAGE_FILE_MACHINE_IA64 0x0200\r
#define IMAGE_FILE_MACHINE_EBC 0x0EBC\r
#define IMAGE_FILE_MACHINE_X64 0x8664\r
#define IMAGE_FILE_MACHINE_ARM 0x01c0 // Thumb only\r
// Support old names for backward compatible\r
//\r
#define EFI_IMAGE_MACHINE_IA32 IMAGE_FILE_MACHINE_I386\r
-#define EFI_IMAGE_MACHINE_IA64 IMAGE_FILE_MACHINE_IA64\r
-#define EFI_IMAGE_MACHINE_IPF IMAGE_FILE_MACHINE_IA64\r
#define EFI_IMAGE_MACHINE_EBC IMAGE_FILE_MACHINE_EBC\r
#define EFI_IMAGE_MACHINE_X64 IMAGE_FILE_MACHINE_X64\r
#define EFI_IMAGE_MACHINE_ARMT IMAGE_FILE_MACHINE_ARMT\r