coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <mmu.h>
Data Fields | |
uint64_t | mair |
uint64_t | tcr |
uint64_t mmu_context::mair |
Definition at line 139 of file mmu.h.
Referenced by mmu_restore_context(), and mmu_save_context().
uint64_t mmu_context::tcr |
Definition at line 140 of file mmu.h.
Referenced by mmu_restore_context(), and mmu_save_context().