Searched refs:EFI_SYSTEM_CONTEXT_X64 (Results 1 - 3 of 3) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Guid/
H A DStatusCodeDataTypeId.h691 /// EFI_SYSTEM_CONTEXT_X64 is defined in the
694 EFI_SYSTEM_CONTEXT_X64 SystemContextX64;
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Protocol/
H A DDebugSupport.h235 } EFI_SYSTEM_CONTEXT_X64; typedef in typeref:struct:__anon12041
526 EFI_SYSTEM_CONTEXT_X64 *SystemContextX64;
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/Protocol/
H A DDebugSupport.h237 } EFI_SYSTEM_CONTEXT_X64; typedef in typeref:struct:__anon15608
528 EFI_SYSTEM_CONTEXT_X64 *SystemContextX64;

Completed in 1394 milliseconds