On 11/11/2016 12:28, Vincent Palatin wrote: > + > + memcpy(env->xmm_regs, fpu.mmx_1, sizeof(fpu.mmx_1)); > + memcpy((ZMMReg *) (env->xmm_regs) + 8, fpu.mmx_2, sizeof(fpu.mmx_2));
HAX will only support SSE (128-bit) registers, while env->xmm_regs supports AVX512 (512-bit) so you have to copy registers one by one. Is there documentation for HAX? In particular I'm curious as to what the CPUID information looks like in the guest, and whether there are ioctls to change it. In particular I would expect XSAVE to be disabled. Paolo