Searched refs:EFI_CONTEXT_IA32_REGISTER_STATE (Results 1 – 2 of 2) sorted by relevance
26 cper_ia32x64_register_32bit_to_ir(EFI_CONTEXT_IA32_REGISTER_STATE *registers);378 EFI_CONTEXT_IA32_REGISTER_STATE *register_state = in cper_ia32x64_processor_context_info_to_ir()379 (EFI_CONTEXT_IA32_REGISTER_STATE *)(context_info + 1); in cper_ia32x64_processor_context_info_to_ir()418 cper_ia32x64_register_32bit_to_ir(EFI_CONTEXT_IA32_REGISTER_STATE *registers) in cper_ia32x64_register_32bit_to_ir()840 EFI_CONTEXT_IA32_REGISTER_STATE register_state; in ir_ia32x64_ia32_registers_to_cper()901 fwrite(®ister_state, sizeof(EFI_CONTEXT_IA32_REGISTER_STATE), 1, in ir_ia32x64_ia32_registers_to_cper()
772 } EFI_CONTEXT_IA32_REGISTER_STATE; typedef