DECLARE_INSN(vssegb, 0x200f, 0x1ffff)
DECLARE_INSN(vfssegd, 0x258f, 0x1ffff)
DECLARE_INSN(sd, 0x1a3, 0x3ff)
-DECLARE_INSN(venqcmd, 0x1007b, 0xf83fffff)
-DECLARE_INSN(venqimm1, 0x100fb, 0xf83fffff)
-DECLARE_INSN(venqimm2, 0x1017b, 0xf83fffff)
-DECLARE_INSN(venqcnt, 0x101fb, 0xf83fffff)
+DECLARE_INSN(venqcmd, 0x1007b, 0xf801ffff)
+DECLARE_INSN(venqimm1, 0x100fb, 0xf801ffff)
+DECLARE_INSN(venqimm2, 0x1017b, 0xf801ffff)
+DECLARE_INSN(venqcnt, 0x101fb, 0xf801ffff)
DECLARE_INSN(vwaitxcpt, 0x1807b, 0xffffffff)
DECLARE_INSN(vwaitkill, 0x180fb, 0xffffffff)