![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <dramc_register.h>
Data Fields | |
uint32_t | mpu_ctrl |
uint32_t | rsvd [511] |
uint32_t | mpu_ctrl_d [16] |
Definition at line 607 of file dramc_register.h.
uint32_t emi_mpu_regs::mpu_ctrl |
Definition at line 608 of file dramc_register.h.
uint32_t emi_mpu_regs::mpu_ctrl_d[16] |
Definition at line 610 of file dramc_register.h.
Referenced by emi_init2().
uint32_t emi_mpu_regs::rsvd[511] |
Definition at line 609 of file dramc_register.h.