pub fn read_mmu_config() -> MmuConfig
Expand description

Reads the current MMU configuration of the current CPU core, including the following system registers:

  • TTBR0_EL1,
  • MAIR_EL1,
  • TCR_EL1,
  • SCTLR_EL1

This configuration can be applied using asm_set_mmu_config_x2_x3.

This is intended for use in multicore_bringup.