Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision b1747a566f73b656e2bbf679b8136ecb0a61b9b4)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision 26c67a8eb4ba0b76cf13eb995623acde141cafa1)
@@ -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 b1747a566f73b656e2bbf679b8136ecb0a61b9b4)
+++ kernel/arch/ppc64/src/mm/tlb.c	(revision 26c67a8eb4ba0b76cf13eb995623acde141cafa1)
@@ -50,5 +50,4 @@
 {
 	asm volatile (
-		"tlbia\n"
 		"tlbsync\n"
 	);