![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
Data Fields | |
uint32_t | index |
uint32_t | lo |
uint32_t | hi |
uint32_t saved_msr::hi |
Definition at line 106 of file mp_init.c.
Referenced by save_msr().
uint32_t saved_msr::index |
Definition at line 104 of file mp_init.c.
Referenced by save_msr().
uint32_t saved_msr::lo |
Definition at line 105 of file mp_init.c.
Referenced by save_msr().