DECLARE_INSN(vssegsth, 0x200307b, 0x1e00707f)
DECLARE_INSN(vssegstw, 0x400307b, 0x1e00707f)
DECLARE_INSN(vssegw, 0x400207b, 0x1ff0707f)
+DECLARE_INSN(vxcptaux, 0x200402b, 0xfffff07f)
+DECLARE_INSN(vxcptcause, 0x402b, 0xfffff07f)
DECLARE_INSN(vxcptkill, 0x400302b, 0xffffffff)
DECLARE_INSN(vxcptrestore, 0x200302b, 0xfff07fff)
DECLARE_INSN(vxcptsave, 0x302b, 0xfff07fff)