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