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