coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
Go to the source code of this file.
Functions | |
void | mstatus_init (void) |
Variables | |
static int | delegate |
Definition at line 29 of file virtual_memory.c.
References delegate, MIP_MTIP, MIP_SSIP, MIP_STIP, and supports_extension().
|
static |
Definition at line 16 of file virtual_memory.c.
Referenced by mstatus_init().