![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
Data Fields | |
u32 | acpi_timer_flag |
u32 | pool_used |
u32 | pool_base |
u32 | tx_byte |
u32 | reserved [4] |
Definition at line 225 of file raminit_mrc.c.
u32 mrc_var_data::acpi_timer_flag |
Definition at line 226 of file raminit_mrc.c.
u32 mrc_var_data::pool_base |
Definition at line 228 of file raminit_mrc.c.
Referenced by perform_raminit().
u32 mrc_var_data::pool_used |
Definition at line 227 of file raminit_mrc.c.
Referenced by perform_raminit().
u32 mrc_var_data::reserved[4] |
Definition at line 230 of file raminit_mrc.c.
u32 mrc_var_data::tx_byte |
Definition at line 229 of file raminit_mrc.c.
Referenced by perform_raminit().