![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <cper.h>
Data Fields | |
guid_t | type |
u64 | validation |
u64 | check_info |
u64 | target_id |
u64 | requestor_id |
u64 | responder_id |
u64 | instruction_ip |
guid_t cper_ia32x64_proc_error_info::type |
Definition at line 177 of file cper.h.
Referenced by new_cper_ia32x64_check().