Index: boot/arch/ppc32/loader/asm.S
===================================================================
--- boot/arch/ppc32/loader/asm.S	(revision 4bc73fa8bbcccf620136bf8a8217a30c0a840d89)
+++ boot/arch/ppc32/loader/asm.S	(revision 14324438da32e754b7283c021fcbbe79e06bcfca)
@@ -319,5 +319,4 @@
 #endif
 	
-	tlbia
 	tlbsync
 	
Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision 4bc73fa8bbcccf620136bf8a8217a30c0a840d89)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision 14324438da32e754b7283c021fcbbe79e06bcfca)
@@ -373,5 +373,4 @@
 {
 	asm volatile (
-		"tlbia\n"
 		"tlbsync\n"
 	);
Index: kernel/arch/ppc64/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc64/src/mm/tlb.c	(revision 4bc73fa8bbcccf620136bf8a8217a30c0a840d89)
+++ kernel/arch/ppc64/src/mm/tlb.c	(revision 14324438da32e754b7283c021fcbbe79e06bcfca)
@@ -50,5 +50,4 @@
 {
 	asm volatile (
-		"tlbia\n"
 		"tlbsync\n"
 	);