coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
Data Fields | |
uint32_t | addr_lo |
uint32_t | addr_hi |
uint32_t pde::addr_hi |
Definition at line 57 of file pgtbl.c.
Referenced by memset_pae().
uint32_t pde::addr_lo |
Definition at line 56 of file pgtbl.c.
Referenced by memset_pae().