diff --git a/src/system/kernel/arch/arm/paging/ARMVMTranslationMap.cpp b/src/system/kernel/arch/arm/paging/ARMVMTranslationMap.cpp
index 3511a39ff0..3d1badf97c 100644
--- a/src/system/kernel/arch/arm/paging/ARMVMTranslationMap.cpp
+++ b/src/system/kernel/arch/arm/paging/ARMVMTranslationMap.cpp
@@ -107,7 +107,7 @@ ARMVMTranslationMap::Flush()
 			smp_broadcast_ici(SMP_MSG_GLOBAL_INVALIDATE_PAGES, 0, 0, 0,
 				NULL, SMP_MSG_FLAG_SYNC);
 		} else {
-			InvalidateUserTLB(PagingStructures()->active_on_cpus, x86_read_cr3());
+			InvalidateUserTLB(PagingStructures()->active_on_cpus, 0);
 		}
 	} else {
 		TRACE("flush_tmap: %d pages to invalidate, invalidate list\n",
@@ -118,7 +118,7 @@ ARMVMTranslationMap::Flush()
 				0, (addr_t)fInvalidPages, fInvalidPagesCount, NULL,
 				SMP_MSG_FLAG_SYNC);
 		} else {
-			InvalidateTLBList(PagingStructures()->active_on_cpus, x86_read_cr3(),
+			InvalidateTLBList(PagingStructures()->active_on_cpus, 0,
 				fInvalidPages, fInvalidPagesCount);
 		}
 	}
diff --git a/src/system/kernel/arch/m68k/paging/M68KVMTranslationMap.cpp b/src/system/kernel/arch/m68k/paging/M68KVMTranslationMap.cpp
index 5fbe07acc3..c8fc0d967b 100644
--- a/src/system/kernel/arch/m68k/paging/M68KVMTranslationMap.cpp
+++ b/src/system/kernel/arch/m68k/paging/M68KVMTranslationMap.cpp
@@ -107,7 +107,7 @@ M68KVMTranslationMap::Flush()
 			smp_broadcast_ici(SMP_MSG_GLOBAL_INVALIDATE_PAGES, 0, 0, 0,
 				NULL, SMP_MSG_FLAG_SYNC);
 		} else {
-			InvalidateUserTLB(PagingStructures()->active_on_cpus, x86_read_cr3());
+			InvalidateUserTLB(PagingStructures()->active_on_cpus, 0);
 		}
 	} else {
 		TRACE("flush_tmap: %d pages to invalidate, invalidate list\n",
@@ -118,7 +118,7 @@ M68KVMTranslationMap::Flush()
 				0, (addr_t)fInvalidPages, fInvalidPagesCount, NULL,
 				SMP_MSG_FLAG_SYNC);
 		} else {
-			InvalidateTLBList(PagingStructures()->active_on_cpus, x86_read_cr3(),
+			InvalidateTLBList(PagingStructures()->active_on_cpus, 0,
 				fInvalidPages, fInvalidPagesCount);
 		}
 	}
diff --git a/src/system/kernel/arch/ppc/paging/PPCVMTranslationMap.cpp b/src/system/kernel/arch/ppc/paging/PPCVMTranslationMap.cpp
index 52ab821b18..8c58c05c41 100644
--- a/src/system/kernel/arch/ppc/paging/PPCVMTranslationMap.cpp
+++ b/src/system/kernel/arch/ppc/paging/PPCVMTranslationMap.cpp
@@ -107,7 +107,7 @@ PPCVMTranslationMap::Flush()
 			smp_broadcast_ici(SMP_MSG_GLOBAL_INVALIDATE_PAGES, 0, 0, 0,
 				NULL, SMP_MSG_FLAG_SYNC);
 		} else {
-			InvalidateUserTLB(PagingStructures()->active_on_cpus, x86_read_cr3());
+			InvalidateUserTLB(PagingStructures()->active_on_cpus, 0);
 		}
 	} else {
 		TRACE("flush_tmap: %d pages to invalidate, invalidate list\n",
@@ -118,7 +118,7 @@ PPCVMTranslationMap::Flush()
 				0, (addr_t)fInvalidPages, fInvalidPagesCount, NULL,
 				SMP_MSG_FLAG_SYNC);
 		} else {
-			InvalidateTLBList(PagingStructures()->active_on_cpus, x86_read_cr3(),
+			InvalidateTLBList(PagingStructures()->active_on_cpus, 0,
 				fInvalidPages, fInvalidPagesCount);
 		}
 	}
diff --git a/src/system/kernel/arch/riscv64/RISCV64VMTranslationMap.cpp b/src/system/kernel/arch/riscv64/RISCV64VMTranslationMap.cpp
index aab77c45ca..57e6bca275 100644
--- a/src/system/kernel/arch/riscv64/RISCV64VMTranslationMap.cpp
+++ b/src/system/kernel/arch/riscv64/RISCV64VMTranslationMap.cpp
@@ -637,7 +637,7 @@ RISCV64VMTranslationMap::Flush()
 			smp_broadcast_ici(SMP_MSG_GLOBAL_INVALIDATE_PAGES, 0, 0, 0,
 				NULL, SMP_MSG_FLAG_SYNC);
 		} else {
-			InvalidateUserTLB(fActiveOnCpus, x86_read_cr3());
+			InvalidateUserTLB(fActiveOnCpus, 0);
 		}
 	} else {
 		TRACE("flush_tmap: %d pages to invalidate, invalidate list\n",
@@ -648,7 +648,7 @@ RISCV64VMTranslationMap::Flush()
 				0, (addr_t)fInvalidPages, fInvalidPagesCount, NULL,
 				SMP_MSG_FLAG_SYNC);
 		} else {
-			InvalidateTLBList(fActiveOnCpus, x86_read_cr3(),
+			InvalidateTLBList(fActiveOnCpus, 0,
 				fInvalidPages, fInvalidPagesCount);
 		}
 	}