Searched refs:EFI_SYSTEM_CONTEXT_X64 (Results 1 – 1 of 1) sorted by relevance
289 } EFI_SYSTEM_CONTEXT_X64; typedef514 EFI_SYSTEM_CONTEXT_X64 *SystemContextX64;