// vadc.vx vd, vs2, rs1
#include "vmadc_vxm.h"