diff --git a/sys/arm64/arm64/locore.S b/sys/arm64/arm64/locore.S
--- a/sys/arm64/arm64/locore.S
+++ b/sys/arm64/arm64/locore.S
@@ -294,8 +294,9 @@
 	isb
 
 	/* Invalidate the TLB */
+	dsb	ishst
 	tlbi	vmalle1
-	dsb	sy
+	dsb	ish
 	isb
 
 	/*
@@ -979,12 +980,13 @@
 	/* Load ttbr0 and ttbr1 */
 	msr	ttbr0_el1, x27
 	msr	ttbr1_el1, x24
-	isb
 
 	/* Clear the Monitor Debug System control register */
 	msr	mdscr_el1, xzr
+	isb
 
 	/* Invalidate the TLB */
+	dsb	ishst
 	tlbi	vmalle1is
 	dsb	ish
 	isb