<div dir="ltr">Hi Michal,<div><br></div><div>I can't now give a way to reproduce the bug. I'll send an executable if I manage to reproduce the problem on something minimalist.</div><div><br></div><div>But I can give you the context of the problem:</div><div> Host OS: Debian jessie 64-bits</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">2016-05-12 11:52 GMT+02:00 Michal Necasek <span dir="ltr"><<a href="mailto:michal.necasek@oracle.com" target="_blank">michal.necasek@oracle.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
   Hi Quentin,<br>
<br>
 Thank you for the patch!<br>
<br>
 Unfortunately (?) I can't reproduce the problem that was originally fixed. Could you please provide a bit more information? What's the host OS, guest OS, host CPU type? How to reproduce the problem?<br>
<br>
    Regards,<br>
      Michal<div><div class="h5"><br>
<br>
On 5/12/2016 11:26 AM, quentin buathier wrote:<br>
</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">
Hi,<br>
<br>
As I understand it, there used to be a problem with restoring the FPU<br>
segments in case of a 64-bit hosts with a 32-bit guest. This issue has<br>
been fixed by using the macros "SAVE_32_OR_64_FPU" and<br>
"RESTORE_32_OR_64_FPU" in "src/VBox/VMM/VMMR0/CPUMR0A.asm" (when<br>
Virtualbox was using fxsave and fxrstor to save and restore the FPU<br>
context).<br>
<br>
But along with the recent support of xsave / xrstor, the bug was<br>
reintroduced: if the CPU supports xsave/xrstor, Virtualbox uses these<br>
instructions and the guest's FPU segments are not restored properly.<br>
<br>
Please find attached a possible patch to fix this issue (MIT licence).<br>
<br>
Regards,<br>
<br>
<br></div></div>
_______________________________________________<br>
vbox-dev mailing list<br>
<a href="mailto:vbox-dev@virtualbox.org" target="_blank">vbox-dev@virtualbox.org</a><br>
<a href="https://www.virtualbox.org/mailman/listinfo/vbox-dev" rel="noreferrer" target="_blank">https://www.virtualbox.org/mailman/listinfo/vbox-dev</a><br>
<br>
</blockquote>
<br>
_______________________________________________<br>
vbox-dev mailing list<br>
<a href="mailto:vbox-dev@virtualbox.org" target="_blank">vbox-dev@virtualbox.org</a><br>
<a href="https://www.virtualbox.org/mailman/listinfo/vbox-dev" rel="noreferrer" target="_blank">https://www.virtualbox.org/mailman/listinfo/vbox-dev</a><br>
</blockquote></div><br></div>