![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <stdint.h>
Go to the source code of this file.
Functions | |
int | pmp_entries_num (void) |
void | reset_pmp (void) |
void | setup_pmp (uintptr_t base, uintptr_t size, uintptr_t flags) |
int pmp_entries_num | ( | void | ) |
Definition at line 278 of file pmp.c.
References die(), pmp_entries_num(), PMP_L, read_pmpcfg(), write_pmpaddr(), and write_pmpcfg().
Definition at line 290 of file pmp.c.
References pmpcfg_t::address, base, pmpcfg_t::cfg, find_empty_pmp_entry(), generate_pmp(), mask_pmp_entry_used(), PMP_A, PMP_TOR, pmpcfg_t::previous_address, write_pmpaddr(), and write_pmpcfg().