// vmsbc.vx vd, vs2, rs1
#include "vmsbc_vxm.h"