coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
pmp.h File Reference
#include <stdint.h>
Include dependency graph for pmp.h:
This graph shows which files directly or indirectly include this file:

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)
 

Function Documentation

◆ pmp_entries_num()

int pmp_entries_num ( void  )

Referenced by find_empty_pmp_entry(), and reset_pmp().

Here is the caller graph for this function:

◆ reset_pmp()

void reset_pmp ( void  )

Definition at line 278 of file pmp.c.

References die(), pmp_entries_num(), PMP_L, read_pmpcfg(), write_pmpaddr(), and write_pmpcfg().

Here is the call graph for this function:

◆ setup_pmp()

void setup_pmp ( uintptr_t  base,
uintptr_t  size,
uintptr_t  flags 
)