Searched refs:EFI_REG_CONTEXT_TYPE_X64 (Results 1 – 2 of 2) sorted by relevance
383 } else if (context_info->RegisterType == EFI_REG_CONTEXT_TYPE_X64) { in cper_ia32x64_processor_context_info_to_ir()814 EFI_REG_CONTEXT_TYPE_X64) { in ir_ia32x64_context_info_to_cper()
736 #define EFI_REG_CONTEXT_TYPE_X64 0x0003 macro