- Set up proper support for PPC32 archictecture
- Wrote the OR ops



git-svn-id: svn://svn.valgrind.org/vex/trunk@774 8f6e269a-dfd6-0310-a8e1-e2731360e62c
diff --git a/pub/libvex.h b/pub/libvex.h
index e4a475b..b786a41 100644
--- a/pub/libvex.h
+++ b/pub/libvex.h
@@ -55,7 +55,7 @@
       VexArchX86, 
       VexArchAMD64, 
       VexArchARM,
-      VexArchPPC
+      VexArchPPC32
    }
    VexArch;
 
@@ -67,7 +67,7 @@
       VexSubArchX86_sse1, /* SSE1 support (Pentium III) */
       VexSubArchX86_sse2, /* SSE2 support (Pentium 4) */
       VexSubArchARM_v4,   /* ARM version 4 */
-      VexSubArchPPC_32    /* 32 bit */
+      VexSubArchPPC32     /* CAB: ? */
    }
    VexSubArch;