boot/efi/arm: initialize TTBCR when starting the kernel

Change-Id: I5ecaa0a91c8677f7d1ac6a512de6de8b2eaa597c Reviewed-on: https://review.haiku-os.org/c/haiku/+/4852 Tested-by: Commit checker robot <[email protected]> Reviewed-by: Fredrik Holmqvist <[email protected]>
2022-01-08 17:58:29 +00:00
parent a8dc67c795
commit 6f62f45641
1 changed files with 3 additions and 0 deletions
@@ -46,6 +46,9 @@ FUNCTION(arch_enter_kernel):
 	// set TTBR0
 	MCR p15, 0, r5, c2, c0, 0

+	// initialize TTBCR to zero (no LPAE, use only TTBR0)
+	MCR p15, 0, r1, c2, c0, 2
+
 	// flush TLB (again)
 	MCR p15, 0, r1, c8, c7, 0