Searched refs:sctlr (Results 1 – 1 of 1) sorted by relevance
2354 uint32_t sctlr; in cpu_mmu_enabled() local2357 sctlr = read_sctlr(); in cpu_mmu_enabled()2359 sctlr = read_sctlr_el1(); in cpu_mmu_enabled()2362 return sctlr & SCTLR_M ? true : false; in cpu_mmu_enabled()
Completed in 8 milliseconds