std :: kernel::mmu
Struct std::MmuAArch64
struct MmuAArch64 { }Leaves use MAIR attribute index 0 for normal memory and 1 for device memory (program MAIR_EL1 with Attr0 = 0xFF, Attr1 = 0x04), inner-shareable, AF set. TCR_EL1 must select a 4 KiB granule and T0SZ = 16.