diff --git a/src/system/boot/platform/raspberrypi_arm/mmu.cpp b/src/system/boot/platform/raspberrypi_arm/mmu.cpp
index b80ad8b79f..bf1d3d6c2f 100644
--- a/src/system/boot/platform/raspberrypi_arm/mmu.cpp
+++ b/src/system/boot/platform/raspberrypi_arm/mmu.cpp
@@ -200,7 +200,7 @@ mmu_set_TTBR(uint32 ttb)
 {
 	TRACE("%s: Set Translation Table Base to 0x%" B_PRIx32 "\n", __func__, ttb);
 	ttb &= 0xffffc000;
-	asm volatile("MRC p15, 0, %[adr], c2, c0, 0"::[adr] "r" (ttb));
+	asm volatile("MCR p15, 0, %[adr], c2, c0, 0"::[adr] "r" (ttb));
 }
 
 
diff --git a/src/system/boot/platform/u-boot/mmu.cpp b/src/system/boot/platform/u-boot/mmu.cpp
index 60891dcfdd..bab74229fd 100644
--- a/src/system/boot/platform/u-boot/mmu.cpp
+++ b/src/system/boot/platform/u-boot/mmu.cpp
@@ -205,7 +205,7 @@ void
 mmu_set_TTBR(uint32 ttb)
 {
 	ttb &= 0xffffc000;
-	asm volatile("MRC p15, 0, %[adr], c2, c0, 0"::[adr] "r" (ttb));
+	asm volatile("MCR p15, 0, %[adr], c2, c0, 0"::[adr] "r" (ttb));
 }