Searched refs:EFI_IA32_X64_PROCESSOR_ERROR_RECORD (Results 1 – 2 of 2) sorted by relevance
48 EFI_IA32_X64_PROCESSOR_ERROR_RECORD *record = in cper_section_ia32x64_to_ir()49 (EFI_IA32_X64_PROCESSOR_ERROR_RECORD *)section; in cper_section_ia32x64_to_ir()567 EFI_IA32_X64_PROCESSOR_ERROR_RECORD *section_cper = in ir_section_ia32x64_to_cper()568 (EFI_IA32_X64_PROCESSOR_ERROR_RECORD *)calloc( in ir_section_ia32x64_to_cper()569 1, sizeof(EFI_IA32_X64_PROCESSOR_ERROR_RECORD)); in ir_section_ia32x64_to_cper()610 fwrite(section_cper, sizeof(EFI_IA32_X64_PROCESSOR_ERROR_RECORD), 1, in ir_section_ia32x64_to_cper()
474 } EFI_IA32_X64_PROCESSOR_ERROR_RECORD; typedef