Searched defs:EFI_IMAGE_MACHINE_EBC (Results 1 - 3 of 3) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Uefi/
H A DUefiBaseType.h232 #define EFI_IMAGE_MACHINE_EBC 0x0EBC macro
248 (((Machine) == EFI_IMAGE_MACHINE_IA32) || ((Machine) == EFI_IMAGE_MACHINE_EBC))
255 (((Machine) == EFI_IMAGE_MACHINE_IA64) || ((Machine) == EFI_IMAGE_MACHINE_EBC))
262 (((Machine) == EFI_IMAGE_MACHINE_X64) || ((Machine) == EFI_IMAGE_MACHINE_EBC))
269 (((Machine) == EFI_IMAGE_MACHINE_ARMTHUMB_MIXED) || ((Machine) == EFI_IMAGE_MACHINE_EBC))
279 #define EFI_IMAGE_MACHINE_TYPE_SUPPORTED(Machine) ((Machine) == EFI_IMAGE_MACHINE_EBC)
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/Uefi/
H A DUefiBaseType.h232 #define EFI_IMAGE_MACHINE_EBC 0x0EBC macro
248 (((Machine) == EFI_IMAGE_MACHINE_IA32) || ((Machine) == EFI_IMAGE_MACHINE_EBC))
255 (((Machine) == EFI_IMAGE_MACHINE_IA64) || ((Machine) == EFI_IMAGE_MACHINE_EBC))
262 (((Machine) == EFI_IMAGE_MACHINE_X64) || ((Machine) == EFI_IMAGE_MACHINE_EBC))
269 (((Machine) == EFI_IMAGE_MACHINE_ARMTHUMB_MIXED) || ((Machine) == EFI_IMAGE_MACHINE_EBC))
279 #define EFI_IMAGE_MACHINE_TYPE_SUPPORTED(Machine) ((Machine) == EFI_IMAGE_MACHINE_EBC)
/vbox/src/VBox/Devices/EFI/Firmware/BaseTools/Source/C/Include/IndustryStandard/
H A DPeImage.h58 #define EFI_IMAGE_MACHINE_EBC IMAGE_FILE_MACHINE_EBC macro

Completed in 70 milliseconds