mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-02-05 13:11:34 +00:00
57d18ec2f1
A write to the sctlr_el1 register is a 'context-changing operation' and thus requires a pipeline flush for the change to actually take effect on subsequent instructions. The isb instruction gurantees this, and ensures mmu is enabled immediately.