diff --git a/headers/private/kernel/arch/ppc/arch_cpu.h b/headers/private/kernel/arch/ppc/arch_cpu.h
index 8dfe63e8e7..19faceeaa8 100644
--- a/headers/private/kernel/arch/ppc/arch_cpu.h
+++ b/headers/private/kernel/arch/ppc/arch_cpu.h
@@ -113,5 +113,6 @@ extern void ppc_context_switch(void **_oldStackPointer, void *newStackPointer);
 #define eieio()	asm volatile("eieio")
 #define isync() asm volatile("isync")
 #define tlbsync() asm volatile("tlbsync")
+#define ptesync() asm volatile("ptesync")
 
 #endif	/* _KERNEL_ARCH_PPC_CPU_H */