xen/arm: head: Add missing isb after writing to SCTLR_EL2/HSCTLR
authorJulien Grall <jgrall@amazon.com>
Sat, 16 Jul 2022 14:34:07 +0000 (15:34 +0100)
committerJulien Grall <julien@xen.org>
Sun, 17 Jul 2022 13:10:08 +0000 (14:10 +0100)
commit25424d1a6b7b7e875230aba77c2f044a4883e49a
tree0a69db3ee8b0d5bce36f8ccb1545322fdf183228
parentd07358f2dccd7efb3f113314c9dda17db194a996
xen/arm: head: Add missing isb after writing to SCTLR_EL2/HSCTLR

Write to SCTLR_EL2/HSCTLR may not be visible until the next context
synchronization. When initializing the CPU, we want the update to take
effect right now. So add an isb afterwards.

Spec references:
    - AArch64: D13.1.2 ARM DDI 0406C.d
    - AArch32 v8: G8.1.2 ARM DDI 0406C.d
    - AArch32 v7: B5.6.3 ARM DDI 0406C.d

Signed-off-by: Julien Grall <jgrall@amazon.com>
Reviewed-by: Michal Orzel <michal.orzel@arm.com>
Reviewed-by: Bertrand Marquis <bertrand.marquis@arm.com>
xen/arch/arm/arm32/head.S
xen/arch/arm/arm64/head.S