[vbox-dev] changeset(s) in 4.1.16 for fixing SMP VM hang after resume from pause / savestate?

[Li Xin]

Hi,

In the changelog of VirtualBox Release 4.1.16, it is mentioned that:

VMM: fixed a VM hang after a resume from pause / savestate with SMP
guests in rare cases

I need to pull the fix into my code base, and have examined all the
changes between 4.1.14 and 4.1.16, but no one seems obvious.  41096
(https://www.virtualbox.org/changeset/41096/vbox) and
41312(https://www.virtualbox.org/changeset/41312/vbox) look related,
but really can't tell.  On the other side it's hard to verify because
the problem only happens "in rare cases".

Can someone please elaborate the changeset(s) fixing the SMP hang problem?

Thanks in advance!
-Bill