Searched refs:EFI_IA32_X64_PROCESSOR_ERROR_RECORD (Results 1 – 2 of 2) sorted by relevance
50 if (size < sizeof(EFI_IA32_X64_PROCESSOR_ERROR_RECORD)) { in cper_section_ia32x64_to_ir()53 EFI_IA32_X64_PROCESSOR_ERROR_RECORD *record = in cper_section_ia32x64_to_ir()54 (EFI_IA32_X64_PROCESSOR_ERROR_RECORD *)section; in cper_section_ia32x64_to_ir()56 size - sizeof(EFI_IA32_X64_PROCESSOR_ERROR_RECORD); in cper_section_ia32x64_to_ir()701 EFI_IA32_X64_PROCESSOR_ERROR_RECORD *section_cper = in ir_section_ia32x64_to_cper()702 (EFI_IA32_X64_PROCESSOR_ERROR_RECORD *)calloc( in ir_section_ia32x64_to_cper()703 1, sizeof(EFI_IA32_X64_PROCESSOR_ERROR_RECORD)); in ir_section_ia32x64_to_cper()743 fwrite(section_cper, sizeof(EFI_IA32_X64_PROCESSOR_ERROR_RECORD), 1, in ir_section_ia32x64_to_cper()
422 } EFI_IA32_X64_PROCESSOR_ERROR_RECORD; typedef