XSU_ZMM_U32
XSU_ZMM_U32 * sizeof (uint32_t));
&check->xf_reg[i], i, XSU_ZMM_U32)) {
xsu_dump_vector(f, &fpu->xf_reg[i], XSU_ZMM_U32,
XSU_ZMM_U32 * sizeof (uint32_t));
for (uint32_t u32 = 0; u32 < XSU_ZMM_U32; u32++,