Add framework for ppc64 support.  Apologies in advance for the
inevitable breakage to other platforms.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5250 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/include/pub_tool_machine.h b/include/pub_tool_machine.h
index b569e85..fe4d847 100644
--- a/include/pub_tool_machine.h
+++ b/include/pub_tool_machine.h
@@ -47,6 +47,11 @@
 #  define VG_MAX_INSTR_SZB          4 
 #  define VG_CLREQ_SZB             24
 #  define VG_STACK_REDZONE_SZB      0
+#elif defined(VGA_ppc64)
+#  define VG_MIN_INSTR_SZB          4
+#  define VG_MAX_INSTR_SZB          4 
+#  define VG_CLREQ_SZB             24
+#  define VG_STACK_REDZONE_SZB      0
 #else
 #  error Unknown arch
 #endif