Searched refs:EFI_IMAGE_MACHINE_EBC (Results 1 - 8 of 8) 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/EfiRom/
H A DEfiRom.h128 { EFI_IMAGE_MACHINE_EBC, "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
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Dxe/Image/
H A DImage.c654 if (Image->ImageContext.Machine == EFI_IMAGE_MACHINE_EBC) {
/vbox/src/VBox/Devices/EFI/Firmware/BaseTools/Source/C/Common/
H A DBasePeCoff.c197 ImageContext->Machine != EFI_IMAGE_MACHINE_EBC) {
/vbox/src/VBox/Devices/EFI/Firmware/SecurityPkg/VariableAuthenticated/SecureBootConfigDxe/
H A DSecureBootConfigImpl.c933 || (NtHeader32->FileHeader.Machine == EFI_IMAGE_MACHINE_EBC)) {
/vbox/src/VBox/Devices/EFI/Firmware/BaseTools/Source/C/GenFv/
H A DGenFvInternalLib.c1951 if (*MachineType != EFI_IMAGE_MACHINE_IA32 && *MachineType != EFI_IMAGE_MACHINE_IA64 && *MachineType != EFI_IMAGE_MACHINE_X64 && *MachineType != EFI_IMAGE_MACHINE_EBC &&

Completed in 3005 milliseconds