Searched refs:EFI_CONTEXT_X64_REGISTER_STATE (Results 1 – 2 of 2) sorted by relevance
28 cper_ia32x64_register_64bit_to_ir(EFI_CONTEXT_X64_REGISTER_STATE *registers);384 EFI_CONTEXT_X64_REGISTER_STATE *register_state = in cper_ia32x64_processor_context_info_to_ir()385 (EFI_CONTEXT_X64_REGISTER_STATE *)(context_info + 1); in cper_ia32x64_processor_context_info_to_ir()481 cper_ia32x64_register_64bit_to_ir(EFI_CONTEXT_X64_REGISTER_STATE *registers) in cper_ia32x64_register_64bit_to_ir()909 EFI_CONTEXT_X64_REGISTER_STATE register_state; in ir_ia32x64_x64_registers_to_cper()985 fwrite(®ister_state, sizeof(EFI_CONTEXT_X64_REGISTER_STATE), 1, out); in ir_ia32x64_x64_registers_to_cper()
813 } EFI_CONTEXT_X64_REGISTER_STATE; typedef