![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <stage_cache.h>
Data Fields | |
uint64_t | load_addr |
uint64_t | entry_addr |
uint64_t | arg |
Definition at line 55 of file stage_cache.h.
uint64_t stage_cache::arg |
Definition at line 58 of file stage_cache.h.
Referenced by stage_cache_add(), and stage_cache_load_stage().
uint64_t stage_cache::entry_addr |
Definition at line 57 of file stage_cache.h.
Referenced by stage_cache_add(), and stage_cache_load_stage().
uint64_t stage_cache::load_addr |
Definition at line 56 of file stage_cache.h.
Referenced by stage_cache_add(), and stage_cache_load_stage().