![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <cper.h>
Data Fields | |
u64 | validation |
u64 | apicid |
u64 | cpuid [6] |
u64 cper_ia32x64_proc_error_section::apicid |
Definition at line 155 of file cper.h.
Referenced by bert_append_ia32x64().
u64 cper_ia32x64_proc_error_section::cpuid[6] |
Definition at line 156 of file cper.h.
Referenced by bert_append_ia32x64().
u64 cper_ia32x64_proc_error_section::validation |
Definition at line 154 of file cper.h.
Referenced by bert_append_ia32x64(), cper_bump_ia32x64_chk_count(), cper_bump_ia32x64_ctx_count(), cper_ia32x64_proc_num_chks(), and cper_ia32x64_proc_num_ctxs().