arch_mmu_base_register
uint64 address = arch_mmu_base_register();
arch_mmu_base_register(), arch_mmu_base_register(true), _arch_mmu_get_sctlr(),