![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
Data Fields | |
uintptr_t | cfg |
uintptr_t | previous_address |
uintptr_t | address |
uintptr_t pmpcfg_t::address |
Definition at line 25 of file pmp.c.
Referenced by generate_pmp_napot(), generate_pmp_range(), and setup_pmp().
uintptr_t pmpcfg_t::cfg |
Definition at line 17 of file pmp.c.
Referenced by generate_pmp_napot(), generate_pmp_range(), and setup_pmp().
uintptr_t pmpcfg_t::previous_address |
Definition at line 23 of file pmp.c.
Referenced by generate_pmp_napot(), generate_pmp_range(), and setup_pmp().