VSX20
memcpy(vsx + 8, &vsx_ptr[VSX20 + i], 8);
printf("VSX%d (1st context) == 0x", VSX20 + i);
memcpy(vsx_tm + 8, &tm_vsx_ptr[VSX20 + i], 8);
printf("VSX%d (2nd context) == 0x", VSX20 + i);