--- VEX/priv/host_amd64_defs.h.orig
+++ VEX/priv/host_amd64_defs.h
@@ -414,6 +414,11 @@
       //uu Ain_AvxReRg,     /* AVX binary general reg-reg, Re, Rg */
       Ain_EvCheck,     /* Event check */
       Ain_ProfInc      /* 64-bit profile counter increment */
+#if defined(VGO_openbsd)
+      ,
+      Ain_MovFromSeg64,     /* 64-bit move sreg:(reg),reg */
+      Ain_MovToSeg64   /* 64-bit move sreg:(reg),reg */
+#endif
    }
    AMD64InstrTag;
 
@@ -738,6 +743,13 @@
                installed later, post-translation, by patching it in,
                as it is not known at translation time. */
          } ProfInc;
+#if defined(VGO_openbsd)
+         struct {
+            HReg       src;
+            HReg       off;
+            HReg       dst;
+         } MovSeg;
+#endif
 
       } Ain;
    }
@@ -806,6 +818,10 @@
 extern AMD64Instr* AMD64Instr_EvCheck    ( AMD64AMode* amCounter,
                                            AMD64AMode* amFailAddr );
 extern AMD64Instr* AMD64Instr_ProfInc    ( void );
+#if defined(VGO_openbsd)
+extern AMD64Instr* AMD64Instr_MovFromSeg64 ( HReg, HReg );
+extern AMD64Instr* AMD64Instr_MovToSeg64 ( HReg, HReg );
+#endif
 
 
 extern void ppAMD64Instr ( const AMD64Instr*, Bool );
