fpu_vstm
fpu_vstm(0, 15, &vxrs[0]);
fpu_vstm(16, 31, &vxrs[16]);
fpu_vstm(0, 15, &vxrs[0]);
fpu_vstm(16, 31, &vxrs[16]);
fpu_vstm(8, 23, &vxrs[8]);
fpu_vstm(0, 15, &vxrs[0]);
fpu_vstm(0, 7, &vxrs[0]);
fpu_vstm(8, 15, &vxrs[8]);
fpu_vstm(16, 31, &vxrs[16]);
fpu_vstm(16, 23, &vxrs[16]);
fpu_vstm(24, 31, &vxrs[24]);
vxrs += fpu_vstm(0, 15, vxrs);
vxrs += fpu_vstm(16, 31, vxrs);
vxrs += fpu_vstm(8, 23, vxrs);
vxrs += fpu_vstm(0, 15, vxrs);
vxrs += fpu_vstm(0, 7, vxrs);
vxrs += fpu_vstm(8, 15, vxrs);
vxrs += fpu_vstm(16, 31, vxrs);
vxrs += fpu_vstm(16, 23, vxrs);
vxrs += fpu_vstm(24, 31, vxrs);
fpu_vstm(20, 23, dst);
fpu_vstm(20, 21, dst);